Lemma 2.2.5. The set of (Gödel numberings for) total recursive functions is not recursively enumerable.