On certain axiomatizations of arithmetic of natural and integer numbers (Q2306641): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Created claim: Wikidata QID (P12): Q127300514, #quickstatements; #temporary_batch_1722203565125
 
(4 intermediate revisions by 4 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.3390/axioms8030103 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2971927321 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3344169 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Philosophical and mathematical logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: A logical system based on rules and its application in teaching mathematical logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theories of real numbers and interpretability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categoricity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Completeness and categoricity: Frege, gödel and model theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introduction to mathematical logic. Translated from the German by Diana Schmidt / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q127300514 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 23:04, 28 July 2024

scientific article
Language Label Description Also known as
English
On certain axiomatizations of arithmetic of natural and integer numbers
scientific article

    Statements

    On certain axiomatizations of arithmetic of natural and integer numbers (English)
    0 references
    0 references
    24 March 2020
    0 references
    Summary: 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 \(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.
    0 references
    Wilkosz's axioms
    0 references
    axioms of integer arithmetic modeled on Peano and Wilkosz axioms
    0 references
    equivalent axiomatizations
    0 references
    metalogic
    0 references
    categoricity
    0 references
    independence
    0 references
    consistency
    0 references

    Identifiers