How to prove $\text{Con}(PA + \text{Con}(PA))$ in $ZFC$? I found an example of this claim here but I'm looking for a more detailed explanation. An equivalent statement is: there is no proof in $PA$ that $PA$ is inconsistent. If $PA$ could prove that $PA$ is inconsistent, then $ZFC$ could also ...