1632
правки
Изменения
м
rollbackEdits.php mass rollback
[[Лекция 9 1я и 2я теоремы Геделя о неполноте арифметики | <<]][[Математическая_логика | >> На главную ]]
[[Категория: Математическая логика]]
|axiom=
Равные множества содержатся в одних и тех же множествах. Формально:
<tex>\forall x \forall y \forall z ((x = y \& x \in z ) \rightarrow y \in z)</tex>.
}}
Каково бы ни было множество <tex>x</tex>, существует множество <tex>2^x</tex>, содержащее в точности
все возможные подмножества множества <tex>x</tex>.
Формально: <tex>\forall x \exists p \forall y (y \subseteq in p \leftrightarrow y \in subseteq x)</tex>.
}}
