Extensionality Axiom

$\forall x\forall y\left(\forall z(z\in x\leftrightarrow z\in y)\to x=y\right)$

• Sets are equal iff they have the same elements.