User:Dfeuer/Axiom of Extensionality

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

Then:


 * $\left({ \forall x: \left({ x \in A \iff x \in B}\right) }\right) \implies A = B$