Amazon CAPTCHA

[akizukid]

「ペアノの公理」とか数学ってカッコいいよね。

[w2allen]

引用：証明の流れは、ゲーデルの原論文に沿っているが、<<意味の世界>>と<<形式の世界>>の対比、等の説明に関しては、廣瀬健・横田一正の「ゲーデルの世界―完全性定理と不完全性定理」に基づいているらしい。

[myrmecoleon]

おや。数学ガールあたらしいの出るんだ。

[tetrahymena]

絶対に買いますとも！

[hiragisan]

当然買いますが

[yujiorama]

買いますとも

[massunnk]

10/26

[d_pressure]

10月26日発売。微妙に厚くなってる。