ping GhostInTheMachine



Where is the powerset proof in Wikipedia that you pointed out?

Cantor's 1st uncountable proof is something different, about converging
sequences, unless the missing powerset element proof is a component of
that.

Herc

.