楽天ブックスでシンプルに目的の本を探す。ゲーデルの不完全性定理 (レイモンド・スマリヤン/高橋昌一郎)の本を買う。