2011-05-11 数学ガール ゲーデルの不完全性定理 第1巻 http://blog.goo.ne.jp/occult00112233/e/8fadf62ffbb4cc415ce082653c83c6f7