These are not the original axioms published by Peano, but are named in his honor. Some varieties of the Peano axioms have 1 rather than 0. In standard arithmetic, the successor of x displaystyle x can be a commutative monoid with id factor 0. It's really a totally free monoid https://buy-herbal-medicines-online.mystrikingly.com/blog/cureayu-trusted-natural-health-products-india-for-all-ages