>>9
ヒルベルト、ゲーデル、グロタンディークだな