[cousin_it]

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

[mjh2539]

This is the most apt answer I've read thus far.