Date: Apr 4, 2013 5:34 PM
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
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.