Date: Dec 9, 2012 2:47 PM
Subject: Re: Mathematics in brief

On Dec 9, 9:45 pm, WM <> 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 model
of say Z, then you cannot believe for example that there are finitely
many undefinable numbers, nor you can believe that there are countably
many of them, also just because there is no parameter free finitary
formula after which a number is defined this doesn't mean that you
lose the known properties of the reals like trichotomy, total
ordering, etc...