Class of All Ordinals is Proper Class
Jump to navigation
Jump to search
Theorem
Let $\On$ denote the class of all ordinals.
Then $\On$ is a proper class.
That is, $\On$ is not a set.
Proof 1
We have that Successor Mapping on Ordinals is Strictly Progressing.
The result follows from Superinductive Class under Strictly Progressing Mapping is Proper Class.
$\blacksquare$
Proof 2
Aiming for a contradiction, suppose $\On$ is a set.
Then from the Burali-Forti Paradox, a contradiction could be deduced.
Hence by Proof by Contradiction, $\On$ cannot be a set.
Thus $\On$ is a class that is not a set.
Hence $\On$ is a proper class.
$\blacksquare$