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.