User:Dfeuer/Axiom of Pairing

Axiom
Let $a$ and $b$ be sets.

Then the User:Dfeuer/Definition:Unordered Pair $\{a, b\}$ is a set.