ではそろそろ議論をまとめまつ。

20世紀最大の数学者はグロタンディーク

と決まりますた