FOM: RE: Re: Ontology in Logic and Mathematics

Matt Insall montez at
Sun Sep 24 23:28:11 EDT 2000

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).

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

More information about the FOM mailing list