Peano 3: Zero is not a successor — The Number Path
Node
Peano 3: Zero is not a successor (Theorem) in The Number Path. Era: 1889. Origin axiom of path: Peano's axioms. Modern reach: Incompleteness theorems · Computer science.
Peano 3: Zero is not a successor (Theorem) in The Number Path. Era: 1889. Origin axiom of path: Peano's axioms. Modern reach: Incompleteness theorems · Computer science.
Canonical: https://axiom.tanaakk.com/lineage/number-path/peano-zero-not-successor/