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)
- SANS: |Q| = (4π/λ)·sin(θ/2)
- Baldwin's rules: 20 favored / 10 disfavored of 30 (n, mode, hyb) triples
- Extended periodic table (g-block)