Ordinal is not Element of Itself/Proof 2
Jump to navigation
Jump to search
Theorem
Let $x$ be an ordinal.
Then:
- $x \notin x$
Proof
This result follows immediately from Set is Not Element of Itself.
$\blacksquare$