On the (in)dependence of the Dedekind-Peano axioms for natural numbers
| Authors |
|
|---|---|
| Publication date | 2017 |
| Journal | Proceeding Series of the Brazilian Society of Computational and Applied Mathematics |
| Event | XXXVI Congresso Nacional de Matemática Aplicada e Computacional |
| Article number | 010239 |
| Volume | Issue number | 5 | 1 |
| Number of pages | 7 |
| Organisations |
|
| 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. |
| Document type | Article |
| Note | CNMAC (2016) |
| Language | English |
| Published at | https://doi.org/10.5540/03.2017.005.01.0239 |
| Downloads |
1442-2899-1-SM
(Final published version)
|
| Permalink to this page | |