Cantor's theorem

Cantor's argument is elegant and remarkably simple. The complete proof is presented below, with detailed explanations to follow.

Cantor's theorem and its proof are closely related to two paradoxes of set theory.