> On 12 Apr., 17:24, Dan <dan.ms.ch...@gmail.com> wrote: > >> They do not contradict each other : >> Cantor's affirmation (in its full form) is : >> >> 1) forall k , exist n , d_n =/= q_kn > > Tricky! No, please be careful. Cantor shows exactly: > forall k: d_k =/= q_kk > Not more and not less.
And that is precisely what he wanted to show - assertion 1) is true with taking n=k. And you have completed your day's work by showing that again you reached a level of stupidity unseen and unheard of so far. That is really crazy, denying something by asserting it.