|
02. Глава 1. Множества и отношения
|
|
03. Канторовское понятие множества
|
|
04. Основные принципы интуитивной теории множеств
|
|
05. Включение
|
|
06. Операции над множествами
|
|
07. Отношения
|
|
08. Отношения эквивалентности
|
|
09. Глава 2. Логика
|
|
10. Исчисление высказываний. Сентенциональные связки
|
|
11. Исчисление высказываний. Истинностные таблицы
|
|
12. Исчисление высказываний. Общезначимость
|
|
13. Исчисление высказываний. Логическое следствие
|
|
14. Исчисление высказываний. Приложения
|
|
15. Исчисление предикатов. Символизация обычного языка
|
|
16. Исчисление предикатов. Общая формулировка
|
|
17. Исчисление предикатов. Общезначимость
|
|
18. Исчисление предикатов. Логическое следствие
|
|
19. Глава 3. Аксиоматические теории
|
|
20. Понятие аксиоматической теории
|
|
21. Неформальная аксиоматика
|
|
22. Неформальные теории в рамках теории множеств
|
|
23. Дальнейшие свойства неформальных теорий
|
|
24. Формальные аксиоматические теории
|
|
25. Аксиматические теории первого порядка
|
|
26. Метаматематика
|
