Date: Apr 4, 2013 5:19 PM
Subject: Re: Matheology � 224
WM <firstname.lastname@example.org> 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
> > > Or try (and fail) to define a limit
> > > that distinguishes both Binary Trees.
> > The only binary tree of interest here is the Complete Infinite Binary
> > Tree in which each path is order isomorphic to |N.
> Of course.
Mirabile dictu: WM finally conceding to logic?.