Глава V. Проблемы обоснования математики и ее решение логицизмом 72
1. Понятие обоснования математики 72
2. Программа логицизма 76
3. Причина неудач 83
4. Философская оценка 87
Глава VI. Программа интуиционизма и его конструктивная ветвь 94
1. Критика интуиционистами основ логицизма и проблема бесконечности 94
2. Интуитивистская альтернатива 98
3. Ограниченность интуиционизма 103
4. Конструктивная ветвь 106
Глава VII. Формалистское обоснование математики 111
1. Программное заявление 111
2. Концепция абсолютного доказательства и метод формализованной аксиоматики 115
3. Результаты Геделя 118
Глава VIII. Современное состояние проблемы обоснования 124
1. Итоги исканий 124
2. Новые подходы 130
3. Обоснование в свете эволюции математики 134