|
|
Re: Mathematics in brief
Posted:
Dec 9, 2012 1:33 PM
|
|
On 9 Dez., 18:50, Zuhair <zaljo...@gmail.com> wrote:
> On Dec 9, 7:34 pm, fom <fomJ...@nyms.net> wrote:
> > > "Is x a member of y?" is a purely yes or no question.
>
> > Only with respect to a well-construed universe of discourse.
>
> WRONG, a "consistent" theory in classical logic is just enough.
>
With respect to real numbers we need not only the answer to the
question whether x is a real number, but we need trichotomy with
respect to every real number. Undefinable numbers cannot satisfy this
need.
Regards, WM
|
|
