My favorite theorem is Cantor's theorem, which states that the power set of some set S has greater cardinality that that of S itself, whether S is finite or infinite. I choose this theorem only because it uses the diagonal argument in its proof, which Cantor also used to prove that the set of reals is uncountable. I know, right.
