2.2 Set theory
We use Zermelo-Fraenkel set theory with the axiom of choice. See [Kunen]. We do not use universes (different from SGA4). We do not stress set-theoretic issues, but we make sure everything is correct (of course) and so we do not ignore them either.
Comments (0)