FOM: Inconsistency

Vaughan R. Pratt pratt at cs.Stanford.EDU
Wed Nov 19 23:01:43 EST 1997

>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

More information about the FOM mailing list