[FOM] The Gold Standard

[Robert M. Solovay]

On Wed, 22 Feb 2006, Harvey Friedman wrote:

>
> They will instantly recognize all of the axioms of ZFC except replacement
> and foundation, if you gently remind them. (Replacement and foundation are
> rarely used, and ZFC\Rep\Found is of course equiconsistent and mutually
> interpretable with ZFC).

 	This seems like a howler. The theory ZFC - Replacement is 
essentially Zermelo which has considerably less consistency strength than 
ZFC.

 	[Or has it been too many years since I've thought about 
set-theory?]

 	--Bob Solovay