Аксиома пары

Аксиома пары
Аксиома пары (англ. axiom of pairing, нем. Axiom der Paarmenge) — следующее высказывание теории множеств:

для любых двух множеств существует пара множеств $$a,b$$: $$ \Upsilon \ \stackrel{\mathrm{def}}{=} \ \forall a \ \forall b \quad \exists \{\, a,b \,\} $$