On Thursday, June 17, 2010 5:57:58 PM UTC-7, Transfer Principle wrote: > On Jun 17, 12:59 pm, MoeBlee wrote: > > On Jun 17, 1:54 pm, WM 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.)
