Axiom:Axiom of Extension/Class Theory

Axiom
Let $A$ and $B$ be classes.

Then:
 * $\forall x: \paren {x \in A \iff x \in B} \iff A = B$

Also see

 * Definition:Class Equality
 * Definition:Equals