Diagonal lemma
= Diagonal lemma
{wiki}
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)$.
= Diagonal lemma
{wiki}
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)$.