[FOM] Replacement

Timothy Y. Chow tchow at alum.mit.edu
Wed Aug 15 18:16:41 EDT 2007

Tom Forster wrote:

>I hope the listowner and list memeber will forgive me repeating my 
>request, since it has not been answered.

Implicitly, it has probably been answered.  The fact that people ignored 
your actual question probably means that the answer is: No, nobody thinks 
that Replacement is false.

Unless someone can give an interesting theorem of

 ZFC - Replacement + ~Replacement,

that is not known to be provable in ZFC - Replacement?


More information about the FOM mailing list