Глава IX. Специфика истины в математике 140
1. Истина в формализованных языках 140
2. Критерий выводимости и понятие корректности. 145
3. Математика и методы схоластики 149
Глава X. Дедуктивные системы 155
1. Математическое доказательство 155
2. Принципы построения дедуктивных теорий 160
3. Критерии «внешнего» оправдания 165
Глава XI. Критериальные ориентиры математического поиска 174
1. Вторичные показатели истины 174
2. Критерии «внутреннего совершенства». Эвристика. 178
3. Вероятностный характер вторичных критериев. . 184