Section 2.2
We will very briefly cover the Well-Ordering Principle and what is known as "strong induction". For now, we just want you to be aware of their existence.
The Well-Ordering Principle says the following:
Every non-empty subset of the natural numbers must have a smallest element
We will see examples of this principle as we move along. But every time we say "let's take the smallest ..." we are applying this principle.