:wojak-nooo: Kronecker and Wittgenstein crying: Noooo! you can't use a diagonalization argument to prove by contradiction.

Cantor, Gödel and Turing: haha, well look at that, the diagonal can't exist. QED

Whoops: Hilbert actually liked Cantor's proof.