User:Dfeuer/Axiom of Pairing

From ProofWiki
Jump to navigation Jump to search

Axiom

Let $a$ and $b$ be sets.

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