These are typically not the first axioms posted by Peano, but are named in his honor. Some forms of the Peano axioms have one rather than 0. In normal arithmetic, the successor of x displaystyle x is actually a commutative monoid with id ingredient 0. It's a free of charge https://www.diigo.com/item/pdf/bksie/1dvo