On the (in)dependence of the Dedekind-Peano axioms for natural numbers

Autores/as

  • Márcia Cerioli
  • Hugo Nobrega
  • Guilherme Silveira
  • Petrucio Viana

DOI:

https://doi.org/10.5540/03.2017.005.01.0239

Palabras clave:

Peano Axioms, Weak independence, Strong independence, Syntactical proofs.

Resumen

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.

Descargas

Los datos de descargas todavía no están disponibles.

Publicado

2017-04-14

Número

Sección

Trabalhos Completos - Matemática Discreta