Natural Number is Ordinal/Proof 2

From ProofWiki
Jump to navigation Jump to search


Let $n \in \N$ be a natural number.

Then $n$ is an ordinal.


From the von Neumann construction of the natural numbers, $\N$ is identified with the minimally inductive set $\omega$.

From Superinductive Class under Successor Mapping contains All Ordinals, it follows by the Principle of Mathematical Induction that every natural number is an ordinal.