Natural numbers/Proofs/Induction principle/Fact

From Wikiversity
Jump to navigation Jump to search
Mathematical induction

Suppose that for every natural number a statement is given. Suppose further that the following conditions are fulfilled.

  1. is true.
  2. For all we have: if holds, then also holds.
Then holds for all .