If a property holds for 0 and is preserved under succession, then it holds for all natural numbers.
Principle of mathematical induction
Related concepts
- Zero is a natural number
- Every natural number has a successor
- Material implication
- Natural numbers (ℕ)
- Gödel's first incompleteness theorem
- Peano arithmetic (PA)
- Primitive recursive function
- Gentzen's consistency proof for PA
- Heyting arithmetic (HA)
- Shor's quantum factoring via modular exponentiation and period finding (quantum)