“ 「これまでも，そしてこれからも，絶対的に正しくあり続ける」なんて理屈は，なかなか存在するものじゃない。「よっぽどのことがないかぎり，これは正しいということにしておいてよさそうです」という合意を作っては，それを延々と積み上げていっているに過ぎない。数学の体系というのは，そうやって築き上げられてきたものなんだ。
July 11, 2007
