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! That is obviously a prerequisite. Otherwise the construction using terminating paths covers everything. > > You do not agree that > the tree contains a path that > can be distinguished from every element of P.
I can prove it. You only have to accept the game. You could see it even by yourself without any game.