Axiom of Pairing from Infinity and Replacement
Jump to navigation
Jump to search
Theorem
The Axiom of Pairing is a consequence of:
and
- the Axiom of Replacement.
Proof
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.
$\blacksquare$