Natural numbers/Proofs/Induction principle/Fact
Mathematical induction
Suppose that for every natural number a statement is given. Suppose further that the following conditions are fulfilled.
- is true.
- For all we have: if holds, then also holds.
Then holds for all .