タルスキの定義不可能性定理
タルスキの定義不可能性定理 (Tarski's undefinablity theorem)とは1933年にアルフレト・タルスキによって提唱・証明された数理論理学、数学基礎論、形式意味論における重要な限界を示した結果である。大まかに言えば、この定理は算術的な真理を算術内で定義することはできないことを主張する。
この定理はより一般に、十分に強い形式体系にも適用でき、その体系の標準モデルでの真偽をその体系内で定義できないことを示す。