不完全性定理

不完全性定理―数学的体系のあゆみ (ちくま学芸文庫)

想像していたより、集合論、公理、定理、推論などなどが丁寧に解説．
これはこれで、いい．（まだゲーデル登場の章までたどり着いていないw．

著者の過去の本見ると、学生時代に読んで印象に残ってた「詭弁論理学」が含まれていた．「ゲーデル、エッシャー、バッハ」の翻訳者の一人でもある．