Аксиома пустого множества: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
ZéroBot (обсуждение | вклад) м r2.7.1) (робот добавил: es:Axioma del conjunto vacío |
Нет описания правки |
||
Строка 2:
: <math>~ \exist a \forall b \ (b \notin a)</math>
'''Аксиома пустого множества''' провозглашает [[существование]] по меньшей мере одного пустого множества, то есть множества,
== Другие формулировки аксиомы пустого множества ==
| |||