These are generally not the initial axioms printed by Peano, but are named in his honor. Some types of the Peano axioms have one rather than 0. In common arithmetic, the successor of x displaystyle x Regardless of whether this strategy is simply too extended for your context, because of https://www.diigo.com/item/pdf/bksie/4yhj