ABSTRACT
This chapter attempts to put mathematical induction (MI) on a sound logical ground, and the principle of mathematical induction is described more formally. The usual starting point is a set of axioms called “Peano’s axioms”, the last of which is, essentially, the principle of mathematical induction. Using these axioms one can prove many of the basic properties of natural numbers, perhaps a reasonable place to start in mathematics.
