年を取った数学者や行き詰った数学徒が基礎論や「数の実在論」に
傾斜していく理由が、分かった気がする。