嘘つきのパラドックスから説き起こすゲーデルの不完全性定理

本書は、多くの人に馴染みのある「嘘つきのパラドックス」から説き起こし、第一不完全性定理の証明を丁寧に解説しています。
併せて、完全性定理、タルスキーの定理、第二不完全性定理、クライゼルの注意等にも触れています。
また、ゲーデルの生涯と不完全性定理の意味を理解するうえで重要なヒルベルト・プログラムを中心とする時代背景についても冒頭に1章を割いて説明しています。

v1.2: 謝辞の追加と軽微な修正