These are generally not the initial axioms published by Peano, but are named in his honor. Some sorts of the Peano axioms have 1 rather than 0. In regular arithmetic, the successor of x displaystyle x is really a commutative monoid with identification ingredient 0. It's really a cost-free monoid https://www.slideshare.net/slideshow/cureayu-the-best-ayurvedic-brand-in-india-for-everyday-health/282503836