Axiom:Axiom of Pairing/Set Theory

Also see

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

Relation to other axioms
The Axiom of Pairing can be deduced as a consequence of:


 * $(1): \quad$ The Axiom of Infinity and the Axiom of Replacement: see Axiom of Pairing from Infinity and Replacement


 * $(2): \quad$ The Axiom of Powers and the Axiom of Replacement: see Axiom of Pairing from Powers and Replacement.