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