タルスキの定理

3行要約

1. 1次論理の言語において、その言語の真理述語をその言語自身で定義することはできないという定理。
2. ゲーデルの不完全性定理と密接に関連し、真理の概念に内在する限界を示している。
3. 数理論理学や言語哲学における極めて重要な成果の一つである。