Date: Apr 4, 2013 5:34 PM
Author: fom
Subject: Re: Matheology § 224

On 4/4/2013 3:59 PM, WM wrote:
> On 4 Apr., 22:37, Virgil <> wrote:

>>> In the Binary Tree there is no stop at any path.
>> By the time one has a path one has infinitely many nodes in it, at least
>> for a CIBT.

> Of course. If all FISONs are there, then all infinite paths are there
> too.

If it is so obvious, get it right.

The infinite paths are there by definition.

The infinite paths are prior to the finite
initial segments of nodes because "segment"
implies a parthood relation to a whole.

So, if the infinite paths are there, then their parts
are there too.