久しぶりにゲーデルネタと行くか・・・・

Ｇ⇔「この命題は証明されない」⇔「この命題は反証される」⇔（Ｇ⇒￢Ｇ）じゃないンですか？