In article <email@example.com>, WM <firstname.lastname@example.org> wrote:
> On 1 Feb., 10:23, Virgil <vir...@ligriv.com> wrote: > > In article > > <abc2008b-5c80-44c6-9091-22f125692...@h2g2000yqa.googlegroups.com>, > > > > WM <mueck...@rz.fh-augsburg.de> wrote: > > > And if I append to every finite path every infinite tail that has a > > > finite definition like 0.? What will you choose then??? > > > Nevertheles I will have used only countably many paths yet. > > > > That you have only used countably many does not mean that there are not > > many more than you have used. > > > > And is has been shown many times, and beyond WM's ability to falsify, > > that the number of paths in a Complete Infinite Binary Tree is beyond > > counting (that is, there is not, and cannot be, any mapping from |N to > > the set of paths that uses us every path. > > And it has been shown, unfortunately beyond Virgils ability to > comprehend the consequences, that there are not more reals in > mathematics. Therefore, we have a contradiction. > Not outside of Wolkenmuekenheim.
In the world of tertium non datur, Wolkenmuekenheim also non datur. --