Date: Jan 13, 2013 5:51 PM
Author: Virgil
Subject: Re: Matheology � 191

In article 
WM <> wrote:

> On 13 Jan., 22:26, Virgil <> wrote:

> > One does not distinguish one infinite path from all others by anything
> > less that an infinite set of nodes. Actually any infinite subset of the
> > infinite set of nodes from any infinite path is enough to distinguish it
> > from all others, but no finite subset of its node set is sufficient

> and no infinite set can be given other than by a finite definition.
> Regards, WM

But any listing of infinite binary sequences such as can define a path
proves the existence of unlisted paths so the only valid proof of the
countability of such paths fails, and the set of all such paths cannot
be legitimately called countable.

So the finiteness of WMytheology does not extend beyond WM.