Ordinal is Member of Class of All Ordinals

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $A$ be an ordinal.


Then:

$A \in \On \lor A = \On$

where $\On$ denotes the class of all ordinals.


Proof

We have by hypothesis that $A$ is an ordinal

From Class of All Ordinals is Ordinal and Ordinal Membership is Trichotomy:

$A \in \On \lor A = \On \lor \On \in A$

But by the Burali-Forti Paradox $\On$ is a proper class.

Therefore:

$A \in \On \lor A = \On$

$\blacksquare$



Sources