History
The concept of well-foundedness and rank of a set were both introduced by Dmitry Mirimanoff (1917) cf. Lévy (2002, p. 68) and Hallett (1986, §4.4, esp. p. 186, 188). Mirimanoff called a set x "regular" (French: "ordinaire") if every descending chain x ∋ x1 ∋ x2 ∋ ... is finite. Mirimanoff however did not consider his notion of regularity (and well-foundedness) as an axiom to be observed by all sets (Halbeisen 2012, pp. 62–63); in later papers Mirimanoff also explored what are now called non-well-founded sets ("extraordinaire" in Mirimanoff's terminology) (Sangiorgi 2011, pp. 17–19, 26).
According to Adam Rieger, von Neumann (1925) describes non-well-founded sets as "superfluous" (on p. 404 in van Heijenoort 's translation) and in the same publication von Neumann gives an axiom (p. 412 in translation) which excludes some, but not all, non-well-founded sets (Rieger 2011, p. 179). In a subsequent publication, von Neumann (1928) gave the following axiom (rendered in modern notation by A. Rieger):
- .
Read more about this topic: Axiom Of Regularity
Famous quotes containing the word history:
“Most events recorded in history are more remarkable than important, like eclipses of the sun and moon, by which all are attracted, but whose effects no one takes the trouble to calculate.”
—Henry David Thoreau (1817–1862)
“No matter how vital experience might be while you lived it, no sooner was it ended and dead than it became as lifeless as the piles of dry dust in a school history book.”
—Ellen Glasgow (1874–1945)
“Properly speaking, history is nothing but the crimes and misfortunes of the human race.”
—Pierre Bayle (1647–1706)