Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
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.