Axiom:Axiom of Pairing/Set Theory

Axiom
For any two sets, there exists a set to which only those two sets are elements:


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

Thus it is possible to create a set containing any two sets that you have already created.

Also see

 * Equivalence of Definitions of Axiom of Pairing: Both forms of the axiom are equivalent, assuming the axiom of specification.
 * Definition:Doubleton