Теорема Гёделя.
- 1. Введение. ⇢
- 2. Проблема непротиворечивости. ⇢
- 3. Абсолютные доказательства непротиворечивости. ⇢
- 4. Систематическое построение формальной логики. ⇢
- 5. Один пример абсолютного доказательства непротиворечивости. ⇢
- 6. Идея кодирования и ее использование в математике. ⇢
- 7. Теоремы Гёделя. ⇢
- 7.1. Гёделевская нумерация. ⇢
- 7.2. Арифметизация метаматематики. ⇢
- 7.3. Изложение доказательств. ⇢
- Заключительные замечания. ⇢
- Послесловие переводчика. ⇢
- Примечания. ⇢
Эрнст Нагель, Джеймс Рой Ньюмен.