FANDOM


Аксиома пары Edit

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

для любых двух множеств[1] существует пара множеств $ a,b $:

$ \Upsilon \ \stackrel{\mathrm{def}}{=} \ \forall a \ \forall b \quad \exists \{\, a,b \,\} $

Примечания Edit

  1. для определённости назовём одно из данных множеств множеством $ a $, другое множество - множеством $ b $
Community content is available under CC-BY-SA unless otherwise noted.