Глава 4. Матлогика. Исчисления I

4.1 Исчисление высказываний и предикатов

4.1.1 Исчисление высказываний
4.1.2 Исчисление предикатов
4.1.3 Модели
4.1.4 Ультрастепени
4.1.5 Примеры формальных теорий

4.2 Аксиома выбора: полезная и странная

4.2.1 Полезные следствия аксиомы выбора
4.2.2 Странные следствия аксиомы выбора
4.2.3 О сверхбольших кардиналах
4.2.4 Конкурент AC: аксиома детерминированности
4.2.5 Промежуточный итог

4.3 Вычислимость и доказуемость

4.3.1 Нестрогое введение в теорему Гёделя о неполноте
4.3.2 О вычислимости, разрешимости, перечислимости
4.3.3 Про сигма-определимость
4.3.4 Доказательство теорем Гёделя
4.3.5 Несколько слов о рекурсиях