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 <vir...@ligriv.com> 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.