[FOM] Replacement
Thomas Forster
T.Forster at dpmms.cam.ac.uk
Mon Aug 13 03:08:26 EDT 2007
I know there are lots of people who dislike the axiom scheme of
replacement. They say things like ``it has no consequence for
ordinary mathematics'' and the like. Unfortunately i have none
of them handy at the moment, so i have to ask: do any of them
think that the axiom scheme is actually *false*? Or do they
merely think that it shouldn't be a core axiom?
tf
--
Home page: www.dpmms.cam.ac.uk/~tf; dpmms phone +44-1223-337981.
In NZ until october work ph +64-3367001 and ask for extension 8152.
Mobile in NZ +64-21-0580093 (Mobile in UK +44-7887-701-562).
More information about the FOM
mailing list