> On Wednesday, 13 August 2014 17:02:30 UTC+2, Martin Shobe wrote: <snip> >> Yet from that you conclude, "No enumeration with Q+ is possible.". >> (Which is about N, obviously.) <snip> > My proof shows that all natural numbers leave rationals without index > in Cantor's asserted complete bijection. This is undisputable truth.
Yet all you do is prove a trivial theorem about a sequences of sets of rationals and then invite people to "examine himself whether he is willing to believe that nevertheless all rational numbers can be enumerated". This implied conclusion is your main purpose. You should have made that the theorem in post 533, but you couldn't. You can't even write it out in what you once called "the correct way", much less derive it, in connected steps from the theorem you can write out. You are doing mathematics by innuendo.