Harvey Friedman wrote: > WHAT WOULD EVIDENCE OF THE NON ARITHMETICAL SOUNDNESS OF ZFC LOOK LIKE? Well, what would evidence of the arithetical soundness of ZFC look like?