These Are generally not the initial axioms released by Peano, but are named in his honor. Some varieties of the Peano axioms have one rather than 0. In standard arithmetic, the successor of x displaystyle x is really a commutative monoid with id element 0. It's a no cost monoid https://safeherbalsupplementsfordailyuse.blogspot.com