[Haskell-cafe] Re: Theory about uncurried functions

Hans Aberg haberg at math.su.se
Thu Mar 5 09:48:58 EST 2009

On 5 Mar 2009, at 15:12, Daniel Fischer wrote:

>> No, it is an axiom: Cohen showed in 1963 (mentioned in Mendelson,
>> "Introduction to Mathematical Logic") that the continuum hypothesis
>> (CH) is independent of NBG+(AC)+(Axiom of Restriction), where AC is
>> the axiom of choice.
> Yes, but the continuum hypothesis is 2^Aleph_0 == Aleph_1, which is  
> quite
> something different from 2^Aleph_0 == card(R).

Yes, right, card R = 2^Aleph_0, as you said, and Aleph_1 is defined as  
the smallest cardinal greater than Aleph_0.

   Hans Aberg

More information about the Haskell-Cafe mailing list