Cantor's proof that the real numbers are uncountable.