Pairing Axiom

$\forall x\forall y\exists z\forall w(w\in z\leftrightarrow w=x\vee w=y)$

• For any sets $x,y$ there exists $\{x,y\}$.