On Jun 13, 8:53 am, WM <mueck...@rz.fh-augsburg.de> wrote: > On 13 Jun., 14:17, 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. > > > You agree that there is a path p in the tree > > > You agree that path p can be distinguished > > from every element of P. > > If actually infinite paths exist!
Ok. We make the assumption explicit. Wolkenmuekenheim logic
You agree that if actually infinite paths exist, there is a path p in the tree
You agree that if actually infinite paths exist, path p can be distinguished from every element of P.
You do not agree that if actually infinite paths exist, the tree contains a path that can be distinguished from every element of P.
