Система аксиом фон Неймана — Бернайса — Гёделя: различия между версиями
| [отпатрулированная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
BsivkoBot (обсуждение | вклад) |
Исправлена логическая связка в определении обєдинения |
||
Строка 54:
* '''Множества'''. Для каждого множества <math>x</math> существует класс <math>X</math> такой, что <math>X=x</math>. Эта аксиома вместе с аксиомами существования множеств предыдущего раздела позволяет получить начальный набор классов и позволит нам составлять формулы с классами как параметрами.
''Далее опишем способ, с помощью которого мы будем формировать выражения логики высказываний. Пусть <math>A={x|\varphi}</math> и <math>B={x|\psi}</math>. Тогда <math>\{x|\lnot \varphi\}=V-A</math>, <math>\{x|\varphi\
* '''Дополнение'''. Для каждого класса <math>A</math> дополнение <math>V-A=\{x|x\notin A\}</math> является классом.
| |||