К вопросу о непротиворечивости классической формальной арифметики.

Article Sidebar

PDF
Опубликован: 31.10.2001
DOI: https://doi.org/10.21146/2074-1472-2001-8-0-105-128

Main Article Content

Н.М. Нагорный

Аннотация

In this article a new proof of consistency of the classical formal number theory is given. The proof is performed in the Kleene-Nelson style.

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Нагорный Н. К вопросу о непротиворечивости классической формальной арифметики. // Логические исследования / Logical Investigations. 2001. Т. 8. C. 105-128.
Выпуск
Том 8 (2001)
Раздел
Статьи