For a slightly different proof, that uses self-reference and where the diagonalization is "hidden" see the
elementary proof that uses programs instead of Turing machines. Try explaining it to a high school friend who likes thinking!