This is clearly not true for proposal 2. No matter the formal system, you will find a proof (YouDefect ⇒ OpponentCooperate), and therefore defect.
This is clearly not true for proposal 2. No matter the formal system, you will find a proof (YouDefect ⇒ OpponentCooperate), and therefore defect.