On Certain Axiomatizations of Arithmetic of Natural and Integer Numbers

On Certain Axiomatizations of Arithmetic of Natural and Integer Numbers

The systems of arithmetic discussed in this work are non-elementary theories. In this paper, natural numbers are characterized axiomatically in two different ways. We begin by recalling the classical set <i>P</i> of axioms of Peano&#8217;s arithmetic of natural numbers proposed in 18...

Full description

Bibliographic Details
Main Author: Urszula Wybraniec-Skardowska
Format: Article
Language:English
Published: MDPI AG 2019-09-01
Series:Axioms
Subjects:
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
Online Access:https://www.mdpi.com/2075-1680/8/3/103

Internet

https://www.mdpi.com/2075-1680/8/3/103

Similar Items