[FOM] Strong Hypotheses and the Theory of N

[rgheck]

On 03/27/2010 11:51 PM, Robert Solovay wrote:
> I do not accept Richard Heck's amendment.
>
> ZFC can not prove that "ZFC is $n$-consistent".
>
>    
Sorry. I seem to have mis-read your definition of $n$-consistent.

rh