Fork me on GitHub
Math for the people, by the people.

User login

proof of Cantor's theorem

Keywords: 
diagonal argument
Major Section: 
Reference
Type of Math Object: 
Proof

Mathematics Subject Classification

03E17 no label found03E10 no label found

Comments

You proved that |P(X)| is bigger than |X|, because you can't find any x so that F(x)=Z.
But what does it means for infinite sets |P(X)|=|X|+1 ?
It's like saying that natural numbers are more numerous than even numbers. You're right, but they have the same cardinal.

Subscribe to Comments for "proof of Cantor's theorem"