[FOM] The Gold Standard/correction

[Robert M. Solovay]

A tiny remark below.


On Thu, 23 Feb 2006, Harvey Friedman wrote:

>
> ZC looks like the closest formalization of general mathematical practice -
> IF one insists on no coding.
>
> Of course, some interesting stuff is missing...
>
ZC is equiconsitent with ZC + Mostowski collapse + "Every set has a 
transitive closure". The latter theory is much more pleasant for the 
set-theorist to work in than ZC. {But of course not as nice as ZFC.]

 	--Bob Solovay