Re: Question on the power set axiom

Torkel Franzen says...

>"Rupert" <rupertmccallum@xxxxxxxxx> writes:
>
>> plus Daryl's version of GCH
>> (namely, "If X is infinte, |X|<|Y|, and P(X) exists, then |P(X)|<=|Y|"
>> - is that the one you meant?)
>
>No, Daryl's version was
>
> Forall sets X, P
> if every element of P is a subset of X,
> then forall sets Y,
> either there is a surjection from X to Y,
> or there is a surjection from Y to P

Actually, I made both suggestions. I like the second one better.

--
Daryl McCullough
Ithaca, NY

.