every result about undecidability uses Cantor's diagonalization.