Full Text
Cantor's paradox
Extract
L ogic A paradox showing that we cannot treat the set of all sets as a set-theoretical entity. It was discovered by Georg Cantor through comparing the number of sets contained in the set of all sets S and the number of sets contained in PS (the power set of S), where the power set of a set is the set of all the subsets of that set. Cantor's theorem shows that for any set A, its power set PA contains more sets than A. The paradox arises because no set can contain more sets than the set of all sets S, yet the power set of S does contain more sets than S. Cantor's paradox and Burali-Forti's paradox together are called the paradoxes of size. “In Cantor's paradox it is argued that there can be no greatest cardinal number and yet that the cardinal number of the class of cardinal number … must be the greatest.” Quine, Selected Logical Papers ... log in or subscribe to read full text
Log In
You are not currently logged-in to Blackwell Reference Online
If your institution has a subscription, you can log in here: