Date: Apr 4, 2013 12:21 PM
Author: William Hughes
Subject: Re: Matheology § 224

On Apr 4, 5:19 pm, WM <> wrote:
> On 4 Apr., 16:08, William Hughes <> wrote:

> There is no need to say what numbers belong to mathematics - in
> mathematics. There is no need to say what paths belong to the Binary
> Tree

However, you keep talking about two types of paths,
paths with a last node and paths without a last node.
You have to say which subsets of nodes correspond to

> - in mathemativs. Every path that you can form by unioning finite
> paths is of course a path of the Binary Tree.

Nope, you can form a subset of nodes without a last node
by unioning finite paths. You have to decide if you wish
to call this set of nodes a path.