Diagonal Lemma

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A syntactic lemma in formal arithmetic that guarantees for any formula φ(x) the existence of a sentence ψ such that the theory proves ψ ↔ φ(⌜ψ⌝), i.e., a sentence that asserts a property about its own Gödel number.