# Unordered Pairs Exist

Jump to navigation
Jump to search

## Contents

## Theorem

Let $A$ and $B$ be classes, which may be either sets or proper classes.

Then:

- $\forall A, B: \left\{{A, B}\right\} \in U$

where $U$ is the universal class.

## Proof

\(\displaystyle \forall A, B\) | \(:\) | \(\displaystyle \exists x: \forall y: \left({y \in x \iff y = A \lor y = B}\right)\) | Axiom of Pairing | ||||||||||

\(\displaystyle \implies \ \ \) | \(\displaystyle \forall A, B\) | \(:\) | \(\displaystyle \exists x: x = \left\{ {y: y = A \lor y = B}\right\}\) | Definition of Set Equality | |||||||||

\(\displaystyle \implies \ \ \) | \(\displaystyle \forall A, B\) | \(:\) | \(\displaystyle \left\{ {y: y = A \lor y = B}\right\} \in U\) | Element of Universe | |||||||||

\(\displaystyle \implies \ \ \) | \(\displaystyle \forall A, B\) | \(:\) | \(\displaystyle \left\{ {A, B}\right\} \in U\) | Definition of Doubleton |

$\blacksquare$

## Also see

## Sources

- 1963: Willard Van Orman Quine:
*Set Theory and Its Logic*: $\S 7.10$