
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.

