>>43
いや、数学の全ての分野に関して厳密な標準化を行うのは非常に意義が
あるプロジェクトだと私は考えています。こういう考え方が完全に機能
する部分を現代数学という名前で呼ぶのも宜しいかと。

まあ確かにグロタンディック先生ご自身がソレをどうお考えになられる
かは私も知りませんが。でも所詮は人間の数学に於ける役割というのは
神が前以て準備した完璧な実体に対する近似的なモデルを提示するなり、
或いはその実体をなるべく傷付けない形で掘り出す事でしかないので、
従って人間の恣意性は徹底して排除されなければならないので。

猫