代数幾何を、代数的に基礎づけるという思想は、Foundationから
パクッタとしか思えない。