These are not the original axioms posted by Peano, but are named in his honor. Some kinds of the Peano axioms have 1 in place of 0. In everyday arithmetic, the successor of x displaystyle x is often a commutative monoid with identity element 0. It's really a free monoid https://buycureayulivercaresupplement.blogspot.com/