『数学ガール/ゲーデルの不完全性定理』(結城浩)

数学ガール/ゲーデルの不完全性定理 (数学ガールシリーズ 3)

とりあえず、第4章まで読んだ。第5章は論理式の所でつまずいたので頭がクリアな時に読むことにする。

話がどういうふうに収束していくのかとっても楽しみ。