Википедия

Аксиома пустого множества: различия между версиями

Интерактивная навигация по истории
[непроверенная версия][непроверенная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Ничаво не понимаю. Это верно? Оно бывает?
Строка 35:
 
2. Руководствуясь [[аксиома объёмности|аксиомой объёмности]], можно доказать единственность пустого множества. Иначе говоря, можно доказать, что '''аксиома пустого множества''' равносильна высказыванию
: <math>~ \exist exists^{\{1\}} a \forall b \ (b \notin a)</math>, что есть <math>~ \exist a \forall b \ (b \notin a) \quad \land \quad \forall a \forall a' \ (\forall b \ (b \notin a') \ \land \ \forall b \ (b \notin a) \to a' = a)</math>
 
 
Источник — https://ru.wikipedia.org/wiki/Аксиома_пустого_множества