Date: Jan 13, 2013 4:38 PM
Subject: Re: Matheology § 191

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