User:Dfeuer/Natural Numbers are Totally Ordered

Theorem
Let $n$ and $m$ be natural numbers.

Then $n^+ \le m$ or $m \le n$.

Proof
Follows directly from User:Dfeuer/Class Minimally Inductive under Inflationary Mapping forms Nest.