more from this thinker | more from this text
Full Idea
The problem of Cantor's Paradox is that the power set of the universe has to be both bigger than the universe (by Cantor's theorem) and not bigger (since it is a subset of the universe).
Gist of Idea
Cantor's Paradox: the power set of the universe must be bigger than the universe, yet a subset of it
Source
report of George Cantor (works [1880]) by William D. Hart - The Evolution of Logic 3
Book Ref
Hart,W.D.: 'The Evolution of Logic' [CUP 2010], p.60
A Reaction
Russell eliminates the 'universe' in his theory of types. I don't see why you can't just say that the members of the set are hypothetical rather than real, and that hypothetically the universe might contain more things than it does.
13483 | Cantor's Paradox: the power set of the universe must be bigger than the universe, yet a subset of it [Cantor, by Hart,WD] |
21554 | Sets always exceed terms, so all the sets must exceed all the sets [Lackey] |