Natural numbers

The natural numbers, or counting numbers, are a system of numbers which includes the positive integers \( 1, 2, 3, \dots \), and under some definitions also includes zero.

If zero is to be considered a natural number, which is usually the case in set theory, the natural numbers are precisely the finite ordinals.

Encodings

The natural numbers are fundamental objects in mathematics, and thus different areas of math have different conventions of encoding or defining them.

Von Neumann ordinals

In ZFC and other set theories without urelements, we can define natural numbers by applying the definition of Von Neumann ordinals to finite ordinals. In this view, each natural number is the set of previous naturals: \( 0 = \varnothing \) and \( n + 1 = \{0, \dots, n\} \).

Zermelo ordinals

Ernst Zermelo provided an alternative construction of the natural numbers, encoding \( 0 = \varnothing \) and \( n + 1 = \{ n \} \) for \( n \ge 0 \).

Frege and Russell

Gottlob Frege and Bertrand Russell proposed defining a natural number \( n \) as the equivalence class of all sets with cardinality \( n \). This definition cannot be realized in ZFC, because the classes involved are proper classes.

Church numerals

In the lambda calculus, the standard way to encode natural numbers is as Church numerals, developed by Alonzo Church. In this encoding, each natural number \( n \) is identified with a function that returns the composition of its input with itself \( n \) times: \( 0 := \lambda f. \lambda x. x \), \( 1 := \lambda f. \lambda x. f x \), \( 2 := \lambda f. \lambda x. f (f x) \), etc.

Theories of arithmetic

Axiomatic systems that describe properties of the naturals are called arithmetics. Two of the most popular are Peano arithmetic and second-order arithmetic.