Regularity and The Rest of ZF(C) Axioms
Regularity was shown to be relatively consistent with the rest of ZF by von Neumann (1929), meaning that if ZF without regularity is consistent, then ZF (with regularity) is also consistent. For his proof in modern notation see Vaught (2001, §10.1) for instance.
The axiom of regularity was also shown to be independent from the other axioms of ZF(C), assuming they are consistent. The result was announced by Paul Bernays in 1941, although he did not publish a proof until 1954. The proof involves (and led to the study of) Rieger-Bernays permutation models (or method), which were used for other proofs of independence for non-well-founded systems (Rathjen 2004, p. 193 and Forster 2003, pp. 210–212).
Read more about this topic: Axiom Of Regularity
Famous quotes containing the words regularity, rest and/or axioms:
“... more and more I like to take a train I understand why the French prefer it to automobiling, it is so much more sociable and of course these days so much more of an adventure, and the irregularity of its regularity is fascinating.”
—Gertrude Stein (1874–1946)
“... the trouble is that most people in this country think that we can stay out of wars in other parts of the world. Even if we stay out of it and save our own skins, we cannot escape the conditions which will undoubtedly exist in other parts of the world and which will react against us.... We are all of us selfish ... and if we can save our own skins, the rest of the world can go. The best we can do is to realize nobody can save his own skin alone. We must all hang together.”
—Eleanor Roosevelt (1884–1962)
“The axioms of physics translate the laws of ethics. Thus, “the whole is greater than its part;” “reaction is equal to action;” “the smallest weight may be made to lift the greatest, the difference of weight being compensated by time;” and many the like propositions, which have an ethical as well as physical sense. These propositions have a much more extensive and universal sense when applied to human life, than when confined to technical use.”
—Ralph Waldo Emerson (1803–1882)