Axiom of Pairing from Infinity and Replacement

From ProofWiki
Jump to navigation Jump to search


The Axiom of Pairing is a consequence of:

the Axiom of Infinity


the Axiom of Replacement.


The set $2 = \set {\O, \set \O}$ is used with the Axiom of Replacement as the domain for a mapping whose image is $\set {A, B}$.

A suitable mapping would be:

$\paren {y = \O \land z = A} \lor \paren {y = \set \O \land z = B}$

The set $2$ is shown to exist as a member of the infinite set whose existence is asserted by the axiom of infinity.