In article <firstname.lastname@example.org>, WM <email@example.com> wrote:
> On 27 Dez., 21:49, Virgil <vir...@ligriv.com> wrote: > > > > It is the set > > > of all finite paths extending from the root node to a given node. > > > > In every Complete Infinite Binary Tree, every finite path ends at the > > root node of of another Complete Infinite Binary Tree. So for every > > finite path, there are uncountably many extensions of it in every > > Complete Infinite Binary Tree. > > And every extension is contained in the CIBT constructed from all > finite paths.
Claimed but never proven.
And only true if one is allowed to chain finite paths from an infinite set of finite paths like one chains nodes from the infinite set of nodes, into chains of infinitely many finite paths. > --