On Jun 13, 7:54 am, WM <mueck...@rz.fh-augsburg.de> wrote: > On 13 Jun., 13:30, William Hughes <wpihug...@hotmail.com> wrote: > > > On Jun 13, 12:13 am, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > On 13 Jun., 02:16, William Hughes <wpihug...@hotmail.com> wrote: > > > Your claim is that "no possibility exists to construct or to > > distinguish by one or many or infinitely many nodes > > of the tree another path." > > Yes. >
Wolkenmuekenheim logic.
You agree that there is a path p in the tree
You agree that path p can be distinguished from every element of P.
You do not agree that the tree contains a path that can be distinguished from every element of P.
