Date: Jan 13, 2013 4:38 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 191

On 13 Jan., 22:26, Virgil <vir...@ligriv.com> 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