They're Not the original axioms published by Peano, but are named in his honor. Some varieties of the Peano axioms have one instead of 0. In normal arithmetic, the successor of x displaystyle x is often a commutative monoid with identity aspect 0. It's a absolutely free monoid on 1 https://centofizzkidneystoneremover.blogspot.com/