Editing Mathematical induction (section)

=== Introduction ===
* {{cite book|first1=J.|last1=Franklin|author-link=James Franklin (philosopher)|year=2011|title=Proof in Mathematics: An Introduction|url=http://www.maths.unsw.edu.au/~jim/proofs.html|publisher=Kew Books| location=Sydney| isbn=978-0-646-54509-7 |first2=A. |last2=Daoud}} (Ch. 8.)
* {{springer|title=Mathematical induction|id=p/m062640|mode=cs1}}
* {{cite book |first=Hans |last= Hermes |author-link=Hans Hermes|title=Introduction to Mathematical Logic |location=London |publisher=Springer |series=Hochschultext |issn=1431-4657 |isbn=978-3540058199 |year=1973|mr=0345788 }}
* {{cite book|first=Donald E.|last=Knuth|author-link=Donald Knuth|year=1997|title=The Art of Computer Programming, Volume 1: Fundamental Algorithms|title-link=The Art of Computer Programming|edition=3rd|publisher=Addison-Wesley | isbn=978-0-201-89683-1}} (Section 1.2.1: Mathematical Induction, pp.&nbsp;11–21.)
* {{cite book|first1=Andrey N.|last1=Kolmogorov|author-link=Andrey Kolmogorov|others=Silverman, R. A. (trans., ed.) | year=1975|title=Introductory Real Analysis|publisher=Dover|location=New York|isbn=978-0-486-61226-3|first2=Sergei V. |last2=Fomin |author2-link=Sergei Fomin|url=https://archive.org/details/introductoryreal00kolm_0}} (Section 3.8: Transfinite induction, pp.&nbsp;28–29.)