[FOM] Strong Hypotheses and the Theory of N

rgheck rgheck at brown.edu
Mon Mar 29 10:02:34 EDT 2010

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.


More information about the FOM mailing list