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