不完全性定理

多数の数学・論理学関連書籍を執筆されている野崎先生がゲーデルの不完全性定理を基礎的な事柄から順に解説されています。後書きで書かれておりますが、先生ほどの学識を持ってしても理解できていない(間違って解釈していた)部分があるということで数学の専門家でない限り読んで全部理解しようなどと思わない方がよいでしょう。解説は数学に関心のある方向けに丁寧で解り易くなされていると思います。