タルスキの定義不可能性定理

3行要約

1. 形式体系における「真である」という概念は、その体系内では定義できないことを示す定理。
2. 自己言及によるパラドックスを回避するための論理的な制約を明らかにしている。
3. 計算理論や哲学において、言語の表現能力の限界を論じる際の基礎となる。