IsisCB Explore

Article ID: CBB173126247

On the (In)Dependence of the Peano Axioms for Natural Numbers (2022)

Cerioli, Márcia R. (Author)
Nobrega, Hugo (Author)
Silveira, Guilherme (Author)
Viana, Petrucio (Author)

History and Philosophy of Logic
Volume: 43
Issue: 1
Pages: 51-69
Publication date: 2022

DOI: 10.1080/01445340.2021.1971005

URI: https://doi.org/10.1080/01445340.2021.1971005

Outside Links

WorldCat

Google Scholar

JSTOR

Mathematics Logic Number theory; number concept 20th century, early 19th century Peano, Giuseppe

We investigate two notions of independence—(usual) independence and complete independence—applied to the Peano axioms for the sequence of natural numbers. We review the results that, although they are independent, the Peano axioms are not completely independent. The standard proof that the Peano axioms are not completely independent is algebraic, in the sense that it makes essential reference to the relationship between several mathematical structures that satisfy, or do not satisfy, these axioms. We then present an alternative logical proof, which makes no essential references to the relationship between mathematical structures. There is a completely independent set of axioms for the sequence of natural numbers, but it is based on primitives different from those originally adopted by Peano. Therefore, we present a new completely independent set of axioms based on the same set of primitives as the one originally adopted by Peano.

...More

Citation URI

data.isiscb.org/p/isis/citation/CBB173126247

This citation is part of the Isis database.

Citations Indexes

Similar Citations

Article Luciano, Erika; (2006)
At the Origins of Functional Analysis: G. Peano and M. Gramegna on Ordinary Differential Equations (/p/isis/citation/CBB000770911/)

Thesis David E. Dunning; (2020)
Writing the Rules of Reason: Notations in Mathematical Logic, 1847–1937 (/p/isis/citation/CBB517005733/)

Chapter Giuseppe Boscarino; (2024)
Peano, logico, matematico e linguista, maestro di scienza e di filosofia (/p/isis/citation/CBB209257269/)

Article Saul A. Kripke; (2022)
Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History (/p/isis/citation/CBB257161891/)

Book Peano, Giuseppe; Couturat, Louis; Luciano, Erika; Roero, Clara Silvia; (2005)
Carteggio: 1896--1914 (/p/isis/citation/CBB000954373/)

Article Mark Textor; (2021)
Saying Something about a Concept: Frege on Statements of Number (/p/isis/citation/CBB227044624/)

Book Kurt Godel; Solomon Feferman; John W. Dawson; Warren Goldfarb; Charles Parsons; Wilfried Sieg; (2013)
Kurt Gödel: Collected Works: Volume IV (/p/isis/citation/CBB660754544/)

Book Anderson, M.; Katz, V.; Wilson, R.; (2009)
Who Gave You the Epsilon? And Other Tales of Mathematical History (/p/isis/citation/CBB001023438/)

Article Christine Proust; (2022)
The sexagesimal place-value notation and abstract numbers in mathematical cuneiform texts (/p/isis/citation/CBB388966363/)

Book Gray, Jeremy; Parshall, Karen Hunger; (2007)
Episodes in the History of Modern Algebra (1800--1950) (/p/isis/citation/CBB000774194/)

Article Gandon, Sébastien; Perrin, Yvette; (2009)
Le problème de la définition de l'aire d'une surface gauche: Peano et Lebesgue (/p/isis/citation/CBB000932308/)

Article Gandon, Sébastien; (2006)
La réception des Vorlesungen über neuere Geometrie de Pasch par Peano (/p/isis/citation/CBB000773900/)

Article Luciano, Erika; (2007)
Il trattato Genocchi-Peano (1884) alla luce di documenti inediti (/p/isis/citation/CBB000933156/)

Article Luciano, Erika; (2018)
I contributi di Giovanni Vacca alla storia della logica matematica fra erudizione e critica storiografica (/p/isis/citation/CBB973030261/)

Article Despeaux, Sloan Evans; (2014)
Questions/ réponses dans les périodiques britanniques des XVIIIe et XIXe siècles: un genre éditorial à la croisée de deux pratiques mathématiques (/p/isis/citation/CBB001451430/)

Book Jan Von Plato; (2017)
The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age (/p/isis/citation/CBB573478690/)

Book Grattan-Guinness, I.; (2000)
The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel (/p/isis/citation/CBB000111675/)

Book Elena Anne Corie Marchisotto; Francisco Rodriguez-Consuegra; James T. Smith; (2021)
The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics (/p/isis/citation/CBB763111584/)

Article Schlimm, Dirk; (2011)
On the Creative Role of Axiomatics. The Discovery of Lattices by Schröder, Dedekind, Birkhoff, and Others (/p/isis/citation/CBB001211472/)

Article Korhonen, Anssi; (2012)
Logic as a Science and Logic as a Theory: Remarks on Frege, Russell and the Logocentric Predicament (/p/isis/citation/CBB001214125/)