|
|
|
|
|
|
by RBerenguel
2692 days ago
|
|
|
Induction is baked in the most “common” way of defining the naturals (Peano axioms). IIRC, it’s the definition I got for the “proper naturals” when I was in HS (but, my Maths teacher was a mathematician, and was who got me interested in them). |
|
|