[FOM] 511: A Supernatural Consistency Proof for Mathematics

[Vaughan Pratt]

On 1/10/2013 6:19 PM, Harvey Friedman wrote:

> CONJECTURE. In ANY informal conceptual environment, we can formulate
> principles that are natural and sensitive and plausible in that
> environment, which are mutually interpretable with ZFC, and weak and
> strong variants of ZFC.}

I'm not sure I understand your conjecture, Harvey.  Which of its 
conditions are not met by the principle Con(ZFC)?

Vaughan Pratt