On Apr 12, 7:41 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > 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.
I see you are also unfamiliar with the rules of logic, that , among other things allow us to derive more statements from less.
forall k: d_k =/= q_kk => forall k , if n = k , then d_k =/= q_kn => forall k ,exists n , d_k =/= q_kn
By the same token unless you've worked out WHERE and HOW my argument is wrong, you have no right to criticize it . "Your argument is wrong because my argument is right" isn't an argument. For all its missing steps, I actually took the time to analyze what your argument MIGHT say, and show how that is invalid.