Axiom — 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

Related

Explore

Canonical: https://axiom.tanaakk.com/axiom/peano-zero/