>>848
＞何でBourbakiやEGAのようにすべての命題に証明をつけるのが
＞不満なんだよ。

ちっとも不満ではないです。ただ、重要な命題が生まれた起源のような
ものが語られないことに不満があります。隠遁以後のグロタンは
それを語ろうと考えるようになったのかも。