Аксиома пустого множества: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Галактион (обсуждение | вклад) мНет описания правки |
Галактион (обсуждение | вклад) мНет описания правки |
||
Строка 1:
'''Аксиомой [существования] [[Пустое множество|пустого множества]]''' называется следующее высказывание [[теория множеств|теории множеств]]
: <math>~ \exist a \forall b \ (b \notin a)</math>
'''Аксиома пустого множества''' провозглашает существование [по меньшей мере одного]
'''Аксиома пустого множества''' может быть выведена из следующей совокупности высказываний:
|