Предисловие Глава I. Введение в формальные языки 1. Общие сведения 2. Языки первого порядка 3. Начальная школа перевода Глава II. Истинность и выводимость 1. Лемма об однозначном чтении 2. Интерпретация; истинность; выразимость 3. Синтаксические свойства истинности 4. Выводимость 5. Тавтологии и булевы алгебры 6. Теорема Геделя о полноте 7. Счетные модели и парадокс Сколема 8. Расширения языка 9. Невыразимость истинности: язык SELF 10. Язык арифметики Шмульяна 11. Невыразимость истинности: теорема Тарского 12. Квантовая логика Глава III. Проблема континуума и форсинг 1. Задача; результат; идеи 2. Язык вещественного анализа 3. Невыводимость континуум-гипотезы в L2Real 4. Универсум над булевой алгеброй 5. Аксиома объемности ««истинна» 6. Аксиомы пары, суммы, степени и регулярности «истинны» 7. Аксиомы бесконечности, подстановки и выбора «истинны» 8. Гипотеза континуума «ложна» для подходящих В 9. Какова мощность континуума? Заключение. О смысле математического текста Список литературы Именной указатель Предметный указатель |