I’m not sure that’s strong evidence for the thesis in question. If ZFC had a low-lying inconsistency, ZFC+an inaccessible cardinal would still prove ZFC consistent, but it would be itself an inconsistent system that was effectively lying to you. Same remarks apply to any large cardinal axiom.
I’m not sure that’s strong evidence for the thesis in question. If ZFC had a low-lying inconsistency, ZFC+an inaccessible cardinal would still prove ZFC consistent, but it would be itself an inconsistent system that was effectively lying to you. Same remarks apply to any large cardinal axiom.