Diagonal lemma
= Diagonal lemma
{c}
{wiki=Diagonal_lemma}
For every one-variable arithmetical formula $\theta(x)$, a sufficiently strong theory of arithmetic has a sentence $\gamma$ satisfying $\gamma\leftrightarrow\theta(\ulcorner\gamma\urcorner)$.