# Category:Axiom of Pairing

This category contains results about Axiom of Pairing.

### Set Theory

For any two sets, there exists a set to which only those two sets are elements:

$\forall a: \forall b: \exists c: \forall z: \paren {z = a \lor z = b \iff z \in c}$

### Class Theory

Let $a$ and $b$ be sets.

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

## Pages in category "Axiom of Pairing"

The following 5 pages are in this category, out of 5 total.