Ordinal is not Element of Itself/Proof 2

From ProofWiki
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$