楽天ブックスでシンプルに目的の本を探す。数学基礎論の世界 (竹内外史)の本を買う。