限定的な真理定義可能性定理

主張

任意の$ \Sigma_n文$ \varphiに対し，次を満たす$ \mathsf{True}_n(x)が$ \Sigma_n論理式として構成出来る．

$ \mathcal{N} \models \varphi \leftrightarrow \mathsf{True}_n(\overline{\ulcorner \varphi \urcorner})

参考文献