4 ms·
Actually I was talking about it. My mind wanders. Sorry to be so vague (it's been years since I read this stuff). I didn't mean to imply sets of measure zero we
by bitdiddle 17y ago
Actually I was talking about it. My mind wanders. Sorry to be so vague (it's been years since I read this stuff). I didn't mean to imply sets of measure zero were what CH is about. The reals can be essentially equated with the powerset of the naturals. It's very intriguing that there is no set with cardinality in between that of the naturals and that of the reals.
The Axiom of Choice is also independent of ZF set theory. Have you read the more modern expositions of these independence proofs based on various Topoi?