Proof — Peano axiom 3: Zero is not a successor
Statement
Zero is not the successor of any natural number.
Formula
∀n ∈ ℕ, S(n) ≠ 0
Source
G. Peano, Arithmetices principia, nova methodo exposita, 1889
Domains
mathematics
Zero is not the successor of any natural number.
∀n ∈ ℕ, S(n) ≠ 0
G. Peano, Arithmetices principia, nova methodo exposita, 1889
mathematics
Canonical: https://axiom.tanaakk.com/proof/peano-zero-not-successor/