Часть 1.
- Парадокс Рассела
- Аксиома выделения
- Теория множеств как фабрика букв
Часть 2.
- Фабрика множеств.
- О том, что если множество состоит из элементов с одинаковым свойством, то это приводит к парадоксу.
- Аксиома Цермелло-Френкеля.
- Как ее нарисовать
Часть 3.
- О том почему парадокс Рассела не возникает в теории множеств Цермелло-Френкеля.
- Ограничение отрицания в логике Вапперо
Часть 4.
Эта серия говорит о том, что логика, лежащая в основе логики Вапперо, и логика, лежащая в основе ограничений в теории множеств Цермелло-Френкеля, совершенно идентичны
Часть 5.
- О втором порядке
- О тривиализации
- Как тривиализации устроена в исчислении предикатов?