Cantor's first uncountability proof

Summary