ゲーデルの不完全性定理

　たとえば、「ゲーデルの不完全性定理」といいますが、これは正確にいえば、「ゲーデルによって証明された、ペアノの算術公理系を含む無矛盾な形式的体系――簡単にいえば、算術を含む無矛盾な体系――に関する不完全性定理」のことです。なんに関するというところが明示できなければ、「不完全」という概念は宙に浮いてしまいます。

【『ゲーデル・不完全性定理　“理性の限界”の発見』吉永良正（講談社ブルーバックス、1992年）】

• ゲーデル
• 吉永良正
• 論理万能主義は誤り／『国家の品格』藤原正彦