On the (in)dependence of the Dedekind-Peano axioms for natural numbers
DOI:
https://doi.org/10.5540/03.2017.005.01.0239Keywords:
Peano Axioms, Weak independence, Strong independence, Syntactical proofs.Abstract
We present a direct proof that the Dedekind-Peano axioms for the sequence of natural numbers are not completely independent, as well as a new completely independent set of axioms based on the same set of primitives as the one originally proposed by R. Dedekind.
Downloads
Download data is not yet available.
Downloads
Published
2017-04-14
Issue
Section
Trabalhos Completos - Matemática Discreta