Free, open-source online mathematics for students, teachers and workers

Axiom of Pairing (APr)

$$\forall x\forall y\exists z\forall u(u \in z \longleftrightarrow u = x \vee u = y)$$