Abstract:
In this paper is proved the completeness of an arithmetical system based on the notion of regularity, founded by P. S. Novikoff [1]. The proof of completeness used the classical logic but all the metamathematical notions are expressible in the dementary language of arithmetic.
Fulltext:
PDF file (308 kB)