 But one could instead choose to work with many alternative topoi.A standard formulation of the axiom of choice makes sense in any topos, and there are topoi in which it is invalid.Constructivists will be interested to work in a topos without the law of excluded middle.