W.Taylor at math.canterbury.ac.nz
Thu Aug 16 01:22:42 EDT 2007
Thomas Forster did not ask for examples of theorems that can be proved
only with replacement, as many people have been given. I'm sure he is
fully familiar with them already.
He asked, specifically, if there were any people who accepted
some sort of Platonic reality for sets, but who actually thought
the Axiom of Replacement was FALSE, not merely inappropriate
to classical mathematics, but actually false.
Are there any people here in that category, or that have colleagues etc
of that type?
More information about the FOM