岩波文庫「不完全性定理」K.ゲーデル
こいつは、解説が充実していてすごくいいよ。数学屋さんから、ヘタレ、ロマン
君に至るまで読めて楽しめる。お勧めでっせ。