On Dec 9, 9:45 pm, WM <mueck...@rz.fh-augsburg.de> wrote:>> You believe in undefinable numbers. But what should that belief be> good for??? We can believe anything we like of undefinable numbers> like of unicorns.

No you cannot of course. If you are working within the intended modelof say Z, then you cannot believe for example that there are finitelymany undefinable numbers, nor you can believe that there are countablymany of them, also just because there is no parameter free finitaryformula after which a number is defined this doesn't mean that youlose the known properties of the reals like trichotomy, totalordering, etc...