These are not the initial axioms published by Peano, but are named in his honor. Some types of the Peano axioms have 1 in place of 0. In standard arithmetic, the successor of x displaystyle x Regardless of whether this method is just too prolonged for the context, thanks to https://justpaste.it/fgv8j