Re: CANTOR's theorem


*** T. Winter wrote:

> > > What impossibility? There are two possible mappings, and for
both we
> > > can find a set of non-generators.
> >
> > But not as the image of 1, although we are ready to spare the 1
for
> > this one and only case.
>
> Yes, while we find sets of non-generators, they are not in the map.
> What this proves is that the maps are not surjective.

Nope. But convince yourself after all by the mapping

N --> P(N) \ M

which I claim is bijective, unless you prove it is not.

Regards, WM

.

Quantcast