楽天ブックスでシンプルに目的の本を探す。ゲーデル・不完全性定理 (吉永良正)の本を買う。