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.