Tarskiの真理定義不可能性定理
主張
任意の文$ \varphiに対し，次を満たす$ \mathsf{True}(x)は決して構成出来ない．$ \mathcal{N}は算術のモデル．
$ \mathcal{N} \models \varphi \leftrightarrow \mathsf{True}(\overline{\ulcorner \varphi \urcorner})
注意適当な前提をおけば，$ \mathcal{N}に限らずもっと一般的な構造でよいはず
ところが
任意の$ \Sigma_n文$ \varphiに対し，次を満たす$ \mathsf{True}_n(x)は構成出来る．
$ \mathcal{N} \models \varphi \leftrightarrow \mathsf{True}_n(\overline{\ulcorner \varphi \urcorner})