Unordered Pairs Exist

From ProofWiki
Jump to navigation Jump to search

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