In article <email@example.com>, firstname.lastname@example.org wrote:
> On Friday, 2 May 2014 01:53:49 UTC+2, Virgil wrote: > > > > > Cantor's argument concern only definable numbers. > > > And shows that if countably many of them can exist then uncountably many > > of them must also exist. > > Yes, he shows that uncountably many real numbers then must exist. > We (including you) know that this is not the case. Conclusion?
Does WM now claim the skill of mind-reading at great distance among his other claimed but non-existent skills?
If so he is again clearlylying, because he claims that must know something that I have proved, beyond WM's ability to counter, to be false.
If there can an infinite set of natural numbers, |N, as WM has conceded, then the power set of that set is provably uncountable, but nevertheless injectable into the set of reals which must then also be uncountable. --