>>20
>全ての数学 はブルバキの記述を規範とし、
>ブルバキの形式に整理される事を目標とす
>るべきであると私は考えています。

それはグロタンディークのそれともちょっと違うような。
グロタンディーク自身がブルバキの分厚い形式書物をどう思っているのか
知らないけど。