楽天ブックスでシンプルに目的の本を探す。ゲ-デルの無矛盾性証明 (山岡謁郎)の本を買う。