25/11/05 11:46:15.79 Z1J+lKlF.net
>>256のつづき
蛇足
７．グロタンディーク宇宙とSGA
Colin McLarty,The large structures of Grothendieck founded on finite-order arithmetic
では、グロタンディークによる代数幾何の基礎理論の基本文献SGAで行われる議論は、
グロタンディーク宇宙の存在を仮定せずZFCあるいはそれより弱い集合論の公理系で
展開できることを主張し、そのための詳細の議論を述べている。
私（池上氏）には、代数学の知識が足りないため、内容の真偽が検証できないが
SGAに詳しく、興味がある方は、ぜひチャレンジしてみて