Good point. Wikipedia has a good clarification: > The axiomatization of arithmetic provided by Peano axioms is commonly called Peano arithmetic. (Ironically,

Good point. Wikipedia has a good clarification: > The axiomatization of arithmetic provided by Peano axioms is commonly called Peano arithmetic. (Ironically, there is no Wikipedia page for Peano Arithmetic, but presumably it can be derived axiomatically by applying the Peano Axiom Wikipedia page to the Arithmetic Wikipedia page wink emoji)