If I have some universe W and I say that it is closed under the Axiom of Infinity, what exactly does that mean?
Does it mean that W contains the natural numbers and the set I that contains the empty set and the singleton of each of its members?
I just need a little clarification. :)
