Аксиома пустого множества: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Галактион (обсуждение | вклад) м ← Новая страница: «'''Аксиомой [существования] пустого множества''' называется следующее высказывани...» |
Галактион (обсуждение | вклад) мНет описания правки |
||
Строка 11:
:<math>~ \forall a \forall b \ (b = b \to (b \notin a \to b = b) \ )</math>,
:<math>~ \forall b \ (b = b)</math>,
:<math>~ \forall a \exist c \forall b \ (b \in
|