Date: Dec 9, 2012 2:42 PM
Author: Zaljohar@gmail.com
Subject: Re: Mathematics in brief
On Dec 9, 9:33 pm, WM <mueck...@rz.fh-augsburg.de> wrote:

> 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.

>

Of course they can, why not?

> Regards, WM