>>187　>>189

タルスキの定義不可能性定理
https://ja.wikipedia.org/wiki/%E3%82%BF%E3%83%AB%E3%82%B9%E3%82%AD%E3%81%AE%E5%AE%9A%E7%BE%A9%E4%B8%8D%E5%8F%AF%E8%83%BD%E6%80%A7%E5%AE%9A%E7%90%86

ーーー
タルスキの定義不可能性定理（英: Tarski's undefinablity theorem）は
1933年にアルフレト・タルスキによって提唱・証明された
数理論理学、数学基礎論、形式意味論における重要な限界を示した結果である。
大まかに言えば、この定理は「算術的な真理を算術内で定義することはできない」ことを主張する。

この定理はより一般に、十分に強い形式体系にも適用でき、
その体系の標準モデルでの真偽をその体系内で定義できないことを示す。