Axiom of Pairing - kipawaa/Proof-Tree GitHub Wiki

Statement

For any $A$ and $B$, there is a set $C$ such that $x \in C$ iff $x = A$ or $x = B$.

Explanation

Proof(s)

History

Applications

Links

Dependencies

Dependents

• Uniqueness of Pairing

Sources

Hrbacek, K., & Jech, T. (1999). Introduction to Set Theory, Revised and Expanded (3rd ed.). CRC Press. https://doi.org/10.1201/9781315274096