Глава X. Дедуктивные системы

 

1. Математическое доказательство

2. Принципы построения дедуктивных теорий

3. Критерии "внешнего" оправдания