On Jun 17, 12:59 pm, MoeBlee <jazzm...@hotmail.com> wrote: > On Jun 17, 1:54 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > Does ZFC not prove that all constructible numbers are countable? > I don't know. What is the definition IN THE LANGUAGE of ZFC of > 'constructible number'?
I know that the word "constructible" occurs in the context of V=L, where L is called the "constructible universe."
So it is possible to call the elements of L intersect R "constructible reals"?
(Of course, even if we can, I'm not sure what effect, if any, this would have on the cardinality of R.)