In Quine's New Foundations
In the New Foundations approach to set theory pioneered by W.V.O. Quine, the axiom of comprehension for a given predicate takes the unrestricted form, but the predicates that may be used in the schema are themselves restricted. The predicate (C is not in C) is forbidden, because the same symbol C appears on both sides of the membership symbol (and so at different "relative types"); thus, Russell's paradox is avoided. However, by taking P(C) to be (C = C), which is allowed, we can form a set of all sets. For details, see stratification.
Read more about this topic: Axiom Schema Of Specification
Famous quotes containing the words quine and/or foundations:
“If there is a case for mental events and mental states, it must be that the positing of them, like the positing of molecules, has some indirect systematic efficacy in the development of theory.”
—Willard Van Orman Quine (b. 1908)
“and the oxen near
The worn foundations of their resting-place,
The holy manger where their bed is corn
And holly torn for Christmas. If they die,
As Jesus, in the harness, who will mourn?
Lamb of the shepherds, Child, how still you lie.”
—Robert Lowell (1917–1977)