数学の基礎は人間と独立に存在するのではない
だから歴史を軽んずるのは愚の骨頂