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:
“This socialism will develop in all its phases until it reaches its own extremes and absurdities. Then once again a cry of denial will break from the titanic chest of the revolutionary minority and again a mortal struggle will begin, in which socialism will play the role of contemporary conservatism and will be overwhelmed in the subsequent revolution, as yet unknown to us.”
—Alexander Herzen (1812–1870)
“If the Revolution has the right to destroy bridges and art monuments whenever necessary, it will stop still less from laying its hand on any tendency in art which, no matter how great its achievement in form, threatens to disintegrate the revolutionary environment or to arouse the internal forces of the Revolution, that is, the proletariat, the peasantry and the intelligentsia, to a hostile opposition to one another. Our standard is, clearly, political, imperative and intolerant.”
—Leon Trotsky (1879–1940)