ISSN : 1226-0657
The topos constructed in [6] is a set-like category that includes among its axioms an axiom of infinity and an axiom of choice. In its final form a topos is free from any such axioms. Set<TEX>$\^$</TEX>G/ is a topos whose object are G-set Ψ<TEX>$\sub$</TEX>s/:G<TEX>${\times}$</TEX>S\longrightarrowS and morphism f:S \longrightarrowT is an equivariants map. We already known that Set<TEX>$\^$</TEX>G/ satisfies the weak form of the axiom of choice but it does not satisfies the axiom of the choice.(omitted)