Axiom of extensionality

Zwei Mengen sind genau dann gleich, wenn sie dieselben Elemente haben

\begin{align*} \forall x \forall y(\forall z ( z \in x \Leftrightarrow z \in y) \Rightarrow x = y) \end{align*}