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$