Theory of Computation: The halting problem
Set Theory: Cardinality of a set is strictly less than its powerset
Not sure which field (one might learn it in an intro real analysis course): Reals are uncountable
Complexity theory: The Time and Space Hierarchy theorems
One might learn these results in different courses, but they're all the same beautiful idea: Cantor's diagonalization.
