[skulk]

Diagonalizations are some of the easiest to understand, yet most profound proofs in math. Another example is the proof that any continuum is larger in cardinality than the set of integers.

https://en.m.wikipedia.org/wiki/Diagonal_argument