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