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:
“The question of whether it’s God’s green earth is not at center stage, except in the sense that if so, one is reminded with some regularity that He may be dying.”
—Edward Hoagland (b. 1932)
“The child knows only that he engages in play because it is enjoyable. He isn’t aware of his need to play—a need which has its source in the pressure of unsolved problems. Nor does he know that his pleasure in playing comes from a deep sense of well-being that is the direct result of feeling in control of things, in contrast to the rest of his life, which is managed by his parents or other adults.”
—Bruno Bettelheim (20th century)
““I tell you the solemn truth that the doctrine of the Trinity is not so difficult to accept for a working proposition as any one of the axioms of physics.””
—Henry Brooks Adams (1838–1918)