These are generally not the first axioms printed by Peano, but are named in his honor. Some types of the Peano axioms have 1 rather than 0. In everyday arithmetic, the successor of x displaystyle x Roll the dice to find out someplace new, have a guided tour with Voyager, https://diigo.com/010ng6t