Глава X. Дедуктивные системы
1. Математическое доказательство
2. Принципы построения дедуктивных теорий
3. Критерии "внешнего" оправдания