The natural numbers together with their order relation $(\mathbb N,\le)$ is a well-ordered set, i.e. each non-empty subset \(M\subseteq\mathbb N\) contains a unique smallest element \(m_0 \le m\in M\).
The natural numbers together with their order relation $(\mathbb N, < )$ is a well-ordered set, i.e. each non-empty subset \(M\subseteq\mathbb N\) contains a unique minimal element \(m_0 < m\in M\).
Proofs: 1
Definitions: 1 2
Proofs: 3 4 5 6 7 8 9 10 11 12 13
Propositions: 14