Principle of Induction for the Natural Numbers
axiomLogicSet Theoryaxiom:induction-natural-numbers-2026aLet be the set of natural numbers, with successor map as in that definition. We take as an axiom the following principle of induction.
If satisfies
- , and
- for every ,
then .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.