Date: Mar 24, 2013 5:49 PM
Subject: Re: Matheology § 224
On 3/24/2013 4:33 PM, WM wrote:
> On 24 Mrz., 21:29, Virgil <vir...@ligriv.com> wrote:
>> A binary tree that contains only "all finite paths" cannot exist,
> The set of all finite paths does not exist? Neither does the set of
> all rational numbers, I presume?
> If you construct it, up to a certain
> point, suddenly all reals are there. A fascinating position.
You have been asked to define the terms of
your constructive mathematics.
You confuse a theory of inclusive monotonic crayon marks