Natural numbers

Description

The natural numbers are the numbers $0, 1, 2, 3, \dots$ that count the elements of a finite set. We write $\mathbb{N} = \{0, 1, 2, 3, \dots\}$ for the set of natural numbers. Each natural number $n$ has a next natural number $n + 1$, its successor. The Peano axioms describe $\mathbb{N}$ with the number $0$ and the successor function. The addition, the multiplication and the order of $\mathbb{N}$ come from $0$ and the successor function.