そもそも理解し損なってるからな
別に通常のZFCの中だけで代数幾何議論するのに不足はない
「代数幾何やるためにZFCを拡張した」というのはそんなわけない