Comment by cousin_it

Yeah. I'd say half of the work is Gödel numbering and the other half is the diagonal lemma.