Talk:Equiconsistency

Latest comment: 1 year ago by JRSpriggs in topic typo in section on consistency

typo in section on consistency

edit

is there a typo in the section on Consistency strength, where it should say "(ZFC in this case)" instead of "(Peano arithmetic in this case)"? 130.225.188.133 (talk) 17:41, 25 March 2025 (UTC)Reply

No. JRSpriggs (talk) 01:47, 26 March 2025 (UTC)Reply