If we take strong induction rather than induction in the Peano axioms, we would also need to add an axiom stating that every natural is either zero or a successor.
1 of 1
Post Made Community Wiki
user5810