Yes, it was.

Perhaps, but let us wait if a "non-intuitionistic" mathematician can help you. Infinite Cardinality does not belong to the sphere of my interests. Sorry.Quote:

Ok... what I meant was this: Can we conclude $\displaystyle |E|=|\mathbb{R}|$ without CH.