Class is Not Element of Itself

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $A$ be a class.


Then $A$ is not an element of itself:

$A \notin A$


Proof

$A \in A$ would create a relational loop for the class membership sign.

By No Membership Loops, this is a contradiction.

$\blacksquare$


Sources