- Mathematical induction
- Avoid circularity i.e. the usage of advanced concepts to prove simpler concepts!
How do we define natural numebrs?
(informal) Definition: A natural number is any element of the set $$ \mathbf{N} := {0, 1, 2, …} $$
How do we define natural numebrs?
(informal) Definition: A natural number is any element of the set $$ \mathbf{N} := {0, 1, 2, …} $$