Roger: You only have to accept that the axiom of infinity is true in the intended domain of discourse, e.g. in all models of ZFC (if that is the intended domain of discourse). Matt: By referring to ``all models of ZFC'' do you contend that such a person must accept the existence of a model of ZFC? Dr. Matt Insall http://www.umr.edu/~insall