Re:List of Statements Independent of ZFC
by Enginerrrd on Wednesday December 18, 2019 @09:11PM
(#21831464)
That still feels intuitive. Like for any open interval there are uncountably many reals and a finite number of integers. It seems like nothing changes as you expand the interval.
[ Parent
| on HN ]
Re:List of Statements Independent of ZFC
by rodamaral on Thursday December 19, 2019 @12:58AM
(#21832342)
The integers HAVE fewer subsets than the reals!
Cantor's theorem tells us that the power set of any set has more elements than said set. It's also well known that the reals have the same cardinality as the power set of the integers.
Therefore, |P(R)| > |R| = |P(N)| > |N|, so the power set of the reals has more elements than the power set of integers.
The continuous hypothesis is the belief that no cardinal exists between |N| and |P(N)|. My previous argument fails if we pick two sets A and B, such that |A| < |B| < |P(A)|.