more from this thinker | more from this text
Full Idea
Cantor's diagonalisation argument generalises to show that any set has more subsets than it has members.
Gist of Idea
Cantor proved that all sets have more subsets than they have members
Source
report of George Cantor (works [1880]) by David Bostock - Philosophy of Mathematics 4.5
Book Ref
Bostock,David: 'Philosophy of Mathematics: An Introduction' [Wiley-Blackwell 2009], p.106
A Reaction
Thus three members will generate seven subsets. This means that 'there is no end to the series of cardinal numbers' (Bostock p.106).
18098 | Cantor proved that all sets have more subsets than they have members [Cantor, by Bostock] |
13444 | Cantor's Theorem: for any set x, its power set P(x) has more members than x [Cantor, by Hart,WD] |
10537 | The ordered pairs <x,y> can be reduced to the class of sets of the form {{x},{x,y}} [Dummett] |
9680 | The empty set Φ is a subset of every set (including itself) [Priest,G] |