Non-logical Axioms of Peano Arithmetic