The lemma applies to theories whose language extends the language of arithmetic, specifically to to formal theories of arithmetic that are strong enough to represent all computable functions.
The lemma applies to theories whose language extends the language of arithmetic. The self-reference lemma applies to formal theories of arithmetic that are strong enough to represent all computable functions.