難解なゲーデルの不完全性定理を「ふつうの言葉」で解き明かす。初学者がつまづくところを熟知した著者による、丁寧な解説。

第１章　自然言語
第２章　理論の完全性とわかりやすさ
第３章　表現可能性
第４章　初等自然数言語の不完全性定理の証明
第５章　古典的理論と現代的理論
第６章　形式化
第７章　完全性
第８章　ゲーデルの不完全性定理
第９章　ゲーデルの第２不完全性定理
第１０章　新しい論理学

ゲーデルは何を証明しようとしたのか？不完全性定理を初学者が一歩ずつ着実に理解できるように、平易な言葉遣いで説く、新しい入門書。