The Contemporary Standard
In standard, Zermelo–Fraenkel (ZF) set theory the natural numbers are defined recursively by 0 = {} (the empty set) and n + 1 = n ∪ {n}. Then n = {0, 1, ..., n − 1} for each natural number n. The first few numbers defined this way are 0 = {}, 1 = {0} = {{}}, 2 = {0,1} = {{},{{}}}, 3 = {0,1,2} = {{},{{}},{{},{{}}}}.
The set N of natural numbers is defined as the smallest set containing 0 and closed under the successor function S defined by S(n) = n ∪ {n}. (For the existence of such a set we need an Axiom of Infinity.) The structure ⟨N,0,S⟩ is a model of Peano arithmetic.
The set N and its elements, when constructed this way, are examples of von Neumann ordinals.
Read more about this topic: Set-theoretic Definition Of Natural Numbers
Famous quotes containing the words contemporary and/or standard:
“Eclecticism is the degree zero of contemporary general culture: one listens to reggae, watches a western, eats McDonald’s food for lunch and local cuisine for dinner, wears Paris perfume in Tokyo and “retro” clothes in Hong Kong; knowledge is a matter for TV games. It is easy to find a public for eclectic works.”
—Jean François Lyotard (b. 1924)
“The art of advertisement, after the American manner, has introduced into all our life such a lavish use of superlatives, that no standard of value whatever is intact.”
—Wyndham Lewis (1882–1957)