Date: Dec 14, 2012 4:23 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: On the infinite binary Tree

On 13 Dez., 21:02, Zuhair <zaljo...@gmail.com> wrote:

> Note: definable is short for "definable by parameter free finite
> formula"


What do you believe to gain by parameters in definitions?
Do you want to define the real numbers by using real numbers as
parameters?

Otherwise you will not arrive at uncountably many definitions, you may
use all natural numbers and all rational numbers. Or has some great
leading matheologian who bolsters his ego by calling himself a logican
told you that by parametric definitions the real numbers all can be
defined?

Be informed, that is not the case. If there are uncountable many real
numbers, then they are not real in that nearly all are completely
undefined. Therefore they cannot be used in Cantor lists and cannot
spring off as diagonals. They would be completely unrelated to
Cantor's "proof" and to mathematics.

Regards, WM