Let 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…
No relations recorded yet.
Let 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
then .
Loading…
No relations recorded yet.