Set Theory for Grothendieck's Number Theory, revision