Аксиома пустого множества: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Строка 8:
<math>~ \neg \ (\forall a \exist b \ (b \in a))</math>
<math>~ \exist a \forall b \ (b \in a \leftrightarrow b \ne b)</math>, что есть <math>~ \exist a \ (a = \{b: \ b \ne b\})</math>
== Примечания ==
| |||