FOM: Inconsistency

[Vaughan R. Pratt]

>2) I would think that anyone who had a strong intuition that ZFC was
>inconsistent would spend a lot of time trying to turn it into a proof, this
>would be a bigger earthquake than Godel's.

Having to weaken Replacement would be an earthquake for set theory, but
it would be business as usual for 99.99% of mathematics.  Now if Z were
inconsistent, *that* would be an earthquake.

Vaughan Pratt