They're not the first axioms posted by Peano, but are named in his honor. Some forms of the Peano axioms have one in place of 0. In ordinary arithmetic, the successor of x displaystyle x is usually a commutative monoid with id element 0. It's a no cost monoid on https://glucojointtablets.blogspot.com/