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.
ISTR that it suffices to have the exponentiation axioms a^0 = 1, a^Sb = a a^b to code the incompleteness theorem, so it would seem no induction at all is necessary.
