Cyan comments on Robust Cooperation in the Prisoner’s Dilemma

[Cyan]

If I understand this correctly, Con(PA) is: “(PA proves X) implies !(PA proves !X)”. Did I get that right?