Theorem 1 (Mathematical Induction) Let be a property or proposition concerning the natural number . If
(i) is true when ;
(ii) the truth of implies the truth of , then is true for all natural numbers .
Solution
Proof: Let the set of all natural numbers for which holds be . is a subset of . From condition (i), we know ; from condition (ii), we know that if , then . Therefore, by the principle of induction, . Proof completed.
The theory of divisibility and the basic content of elementary number theory were established long before the Peano axioms were proposed, and of course did not use the induction axiom or mathematical induction. At that time, people relied on "universally recognized" correct properties, which are the least natural number principle and the greatest natural number principle below.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.