Class Equality is Reflexive

Theorem

Let $A$ be a class.

Then:

$A = A$

where $=$ denotes class equality.

Proof

This page is beyond the scope of ZFC, and should not be used in anything other than the theory in which it resides.

$\forall x: \left({ x \in A \iff x \in A }\right)$
$\blacksquare$