On Dec 19, 4:11 pm, Zuhair <zaljo...@gmail.com> wrote: > So having parameters in the defining formulas provides the grounds for > POSSIBILITY of having uncountably many sets definable after them. But > what PROVES the existence of uncountabily many parameter definable > reals is of course the diagonal argument of Cantor.
Surely you must realize by now that attacking the diagonal argument (actually the direct construction of the ANTI-diagonal of a PRESUMED omegaXomega square) is THE #1 FAVORITE crank pastime around here. By posting this you are just inviting every crank from WM on down to do battle with you. You are new enough that this my seem worthwhile to you, BUT IT ISN'T. I'm not saying that JUST because I'm burnt out after 20 years. I'm saying it because it really is obvious from even casual consideration that LOGIC means NOTHING to these people! They DON'T CARE if you/we have a proof! THEY have THEIR canards and maxims and precepts, and THAT'S ALL THEY care about! Progress is not really possible along a merely intellectual front (merely intellectual, our position is simply far too easy to confirm). A unified wall of contempt stands a better chance.