|
|
Re: unable to prove?
Posted:
Aug 28, 2012 10:46 AM
|
|
dilettante wrote:
> In other words, taking the existence of the power set of the reals as a
> given, is CH still proved to be independent?
Yes. If X is a set then the power set of X is a set also; and 'real' is
defined in such a way that the set of reals exists.
--
The animated figures stand
Adorning every public street
And seem to breathe in stone, or
Move their marble feet.
|
|
