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

N.M. Nagorny

doi:10.21146/2074-1472-2001-8-0-105-128

PDF (Русский)

Published: 31.10.2001

DOI: https://doi.org/10.21146/2074-1472-2001-8-0-105-128

N.M. Nagorny

Abstract

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.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

How to Cite

Nagorny N. К вопросу о непротиворечивости классической формальной арифметики. // Logicheskie Issledovaniya / Logical Investigations. 2001. VOL. 8. C. 105-128.

Issue

Vol 8 (2001)

Section

Papers

Language

##plugins.block.information.link##

##plugins.block.makeSubmission.linkLabel##

ISSN 2074-1472 (Print)
ISSN 2413-2713 (Online)

Publisher:
Institute of Philosophy, Russian Academy of Sciences

Frequency: 2 times per year

First issue: 1993; the journal is a redesigned continuation of the annual Logical Investigations that has been published since 1993 till 2015.

The journal is registered with the Federal Service for Supervision of Communications, Information Technology, and Mass Media (Roskomnadzor). The Mass Media Registration Certificate No. FS77-61228 on April 3, 2015.

The Journal is indexed

;

The journal is included in the list of peer-reviewed scientific editions acknowledged by the Higher Attestation Commission of the Ministry of Education and Science of the Russian Federation.

Beginning with issue 16 Logical Investigations has become a subscription publication. Subscription index in the catalogue of Russian Post is ПН145.

Contacts:
Address: 12/1 Goncharnaya Str., Moscow, 109240, Russian Federation
Phone: +7 495 697-96-65
E-mail: editorial_board@logicalinvestigations.ru

##plugins.themes.bootstrap3.article.sidebar##

##plugins.themes.bootstrap3.article.main##

Abstract

##plugins.generic.usageStats.downloads##

##plugins.themes.bootstrap3.article.details##