Axiom:Axiom of Pairing/Class Theory

From ProofWiki
Jump to navigation Jump to search

Axiom

Let $a$ and $b$ be sets.

Then the class $\set {a, b}$ is likewise a set.


Also known as

The Axiom of Pairing is also known as the Axiom of the Unordered Pair.

Some sources call it the Pairing Axiom.


Also see


Sources