Axiom:Axiom of Pairing/Set Theory/Formulation 2

Axiom
For any two sets, there exists a set containing those two sets as elements:


 * $\forall A: \forall B: \exists x: \forall y: \paren {y \in x \implies y = A \lor y = B}$

Thus it is possible to create a set that contains as elements at least two sets that have already been created.

Also see

 * Equivalence of Definitions of Axiom of Pairing