アレクサンドル・グロタンディーク
一方、アレクサンドル・グロタンディーク はこれらを公理を少し小さいものに置き換えた。