
Re: unable to prove?
Posted:
Aug 27, 2012 4:40 PM


dilettante wrote: > > [...] I suppose it isn't known whether positing the > existence of the power set of the reals leads to a contradiction. Surely > also taking the existence of this set as an axiom doesn't do anything to > resolve CH (of course, as far as anyone knows  if it leads to a > contradiction it resolves everything, in a sense)? (Yes, that's a question)
It is known that if the axioms of set theory are consistent then they remain so with the addition of either CH (or even GCH) or notCH.
 The animated figures stand Adorning every public street And seem to breathe in stone, or Move their marble feet.

