Axioms 2019 (Deductive Systems) (2019)

The systems of arithmetic discussed in this work are non-elementary theories. In this paper, natural numbers are characterized axiomatically in two di erent ways. We begin by recalling the classical set P of axioms of Peano’s arithmetic of natural numbers proposed in 1889 (including such primitive notions as: set of natural numbers, zero, successor of natural number) and compare it with the set W of axioms of this arithmetic (including the primitive notions like: set of natural numbers and relation of inequality) proposed by Witold Wilkosz, a Polish logician, philosopher and mathematician, in 1932. The axioms W are those of ordered sets without largest element, in which every non-empty set has a least element, and every set bounded from above has a greatest element. We show that P and W are equivalent and also that the systems of arithmetic based on W or on P, are categorical and consistent. There follows a set of intuitive axioms PI of integers arithmetic, modelled on P and proposed by B. Iwanuś, as well as a set of axioms WI of this arithmetic, modelled on the W axioms, PI and WI being also equivalent, categorical and consistent. We also discuss the problem of independence of sets of axioms, which were dealt with earlier.
Keywords axiomatizations of arithmetic of natural and integers numbers  second-order theories  Peano’s axioms   Wilkosz’s axioms  axioms of integer arithmetic modeled on Peano and Wilkosz axioms  equivalent axiomatizations  metalogic   categoricity   independence   consistency
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Internal Categoricity in Arithmetic and Set Theory.Jouko Väänänen & Tong Wang - 2015 - Notre Dame Journal of Formal Logic 56 (1):121-134.
A Logical Foundation of Arithmetic.Joongol Kim - 2015 - Studia Logica 103 (1):113-144.
Nonstandard Arithmetic and Reverse Mathematics.H. Jerome Keisler - 2006 - Bulletin of Symbolic Logic 12 (1):100-125.
Uwagi o arytmetyce Grassmanna.Jerzy Hanusek - 2015 - Diametros 45:107-121.
Frege Meets Dedekind: A Neologicist Treatment of Real Analysis.Stewart Shapiro - 2000 - Notre Dame Journal of Formal Logic 41 (4):335--364.
Empiricism, Probability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Journal of Applied Logic 12 (3):319–348.
Remarks on Peano Arithmetic.Charles Sayward - 2000 - Russell: The Journal of Bertrand Russell Studies 20 (1):27-32.


Added to PP index

Total views
192 ( #60,801 of 2,506,010 )

Recent downloads (6 months)
42 ( #21,001 of 2,506,010 )

How can I increase my downloads?


My notes