Axiom:Axiom of Pairing/Set Theory/Weak Form

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 at least two elements.

Also see

 * Equivalence of Definitions of Axiom of Pairing