Proof — Peano axiom 1: Zero is a natural number

Statement

Zero is a natural number. The set ℕ of natural numbers contains 0.

Formula

0 ∈ ℕ

Source

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

Domains

mathematics

People

• Giuseppe Peano

Related

• Theorem: Peano axiom 1: Zero is a natural number
• Proof: Peano axiom 1: Zero is a natural number

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People