Axiom — Peano axiom 2: Successor

Statement

Every natural number n has a successor S(n) that is also a natural number.

Formula

∀n ∈ ℕ, S(n) ∈ ℕ

Source

G. Peano, Arithmetices principia, nova methodo exposita, 1889

Domains

mathematics

People

• Giuseppe Peano

Related

• Theorem: Peano axiom 2: Successor
• Proof: Peano axiom 2: Successor

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People