Am Dienstag, 3. Dezember 2013 03:34:35 UTC+1 schrieb Zeit Geist: > On Monday, December 2, 2013 1:58:01 PM UTC-7, WM wrote: > > > > > > > > > Fine, then undefinable numbers cannot result from any Cantor-argument - and other theories do not contain them. So, why the heck do you think undefinable numbers exist? > > > > > > > Although quite useful, not all of Set Theory depends on the Diagonal Argument.
But all mathematics depends on definable numbers and does not allow to construct, or obtain in any other way, undefinable numbers. > > > > In fact, the existence or non-existence of non-constructible Real Numbers is Independent from the Axioms of ZFC.
No. ZFC has uncountability. Definable numbers have not. > > > > Some Models contain them, and some don't