Roman Reiner wrote:
>> Yep. There's really only two infinities you get when you talk about
>> "numbers" - Aleph0 and Aleph1.
> 
> Wasn't the question whether there is a set that is larger than a countable
> infinite set and smaller than an uncountable infinite set proven to be
> unprovable?

My memory is that it was thought to be unprovable but later proven to not be 
so. However, wikipedia (Cardinal_numbers) agrees with you. Not that it's 
unprovable, but that its provability depends on the axioms of set theory you 
accept. I suspect it depends in part on things like the axiom of choice, etc.

-- 
Darren New, San Diego CA, USA (PST)
  "How did he die?"   "He got shot in the hand."
     "That was fatal?"
          "He was holding a live grenade at the time."

Post a reply to this message