Date: Dec 13, 2012 4:32 PM
Subject: Re: On the infinite binary Tree

On 13 Dez., 21:02, Zuhair <> wrote:
> On Dec 13, 3:56 pm, WM <> wrote:

> > No? Nearly every real number is undefinable. The measure of definable
> > reals is 0. If most reals are non-definable, why must all reals of
> > every Cantor list always be definable? If all reals of the list are
> > definable, then they belong to a countable set. Then we cannot prove
> > uncounatbility. Or can we prove that the set of definable reals is
> > uncountable - because it is countable but there are, somewhere else,
> > undefinable "reals"?

> > Regards, WM
> Cantor's list do contain non definable reals.

Which one in what line? What is the corresponding digit of the

> Actually some diagonals
> of Cantor's are non definable.

Lists containing undefinable entries do not supply diagonals at all.

> The bijective function between all
> definable reals and the set N of all naturals is NON definable set!

That is completely without interest.
> Note: definable is short for "definable by parameter free finite
> formula"

No. Definable means "definable by a finite word". Everything else is

Regards, WM