The uncountability of the reals.  This is such a classic fact that I'm not sure how to classify it.  Set theory, perhaps.