Return to Revisions

I once heard Mike Freedman (the Fields medalist) say he thinks ZFC is probably inconsistent but that the minimal length paradox is so long no-one has found it yet. Once a paradox is found, he said, we'll just patch it up with a new axiom, and continue. His reasoning seemed to be that it was unlikely that we happened to find a consistent theory.