年表

年表で見る20世紀の数理論理学 ― ゲーデルとタルスキ

不完全性定理と真理の定義不可能性定理を軸に、20世紀の数理論理学の流れを年表で整理します。

• 論理学
• 歴史
• 年表