Three forms of mathematical induction: Difference between revisions

Revision as of 00:32, 7 March 2006

Revision as of 00:35, 7 March 2006

Line 34:

* no basis for induction is needed because the first, or basic, case is a vacuously true special case of what is proved in the induction step.

This form works not only when the values of ''k'' and ''n'' are natural numbers, but also for [[ordinal numbers;number]]s. see See [[transfinite induction]].

==Examples==