Axiom — Peano axiom 4: Injectivity of successor
Statement
Different natural numbers have different successors. If S(m) = S(n), then m = n.
Formula
S(m) = S(n) ⇒ m = n
Source
G. Peano, Arithmetices principia, nova methodo exposita, 1889
Domains
mathematics