Глава IX. Специфика истины в математике
2. Критерий выводимости и понятие корректности
3. Математика и методы схоластики