>>36
ヴェイユ・グロタンディーク・セールをまとめてグロタンディーク
ということにしては？実際にけっこう関係あるんだし。
となると、とりあえずの候補は
ヒルベルト、フォン・ノイマン、ゲーデル、グロタンディーク
ということに。