どうしてゲーデル命題と山野命題とが同値になるんだろうか？

Ｙ＝「反証されない命題」
⇔
Ｙ⇔￢Antiprovable(Ｙ)
⇔
（￢Ｙ∨￢Antiprovable(Ｙ)）∧（Antiprovable(Ｙ)∨Ｙ）
⇔
（￢Ｙ∨Ｙ）∧（Antiprovable(Ｙ)∨￢Antiprovable(Ｙ)）
⇔
Ｔ∧Ｔ
⇔
Ｔ

四段目より、￢Ｙ⇔Antiprovable(Ｙ)が見てとれる、やはり、記号法によるアクシデントじゃ済まなかったな。Antiprovable（Ｙ）＝Provable(￢Ｙ)、すなわち「Ｙが反証されるということは￢Ｙが証明されるという意味」であって、このこと自体が奇妙なわけじゃない！

それにしても、Antiprovable(Ｙ)⇔￢Ｙ⇔Antiprovable(￢Ｙ)だとは・・、たはは・・。

記号法を元に戻したら、

Ｙ＝「反証されない命題」
⇔
Ｙ⇔￢Provable(￢Ｙ)
⇔
（￢Ｙ∨￢Provable(￢Ｙ)）∧（Provable(￢Ｙ)∨Ｙ）
⇔
（￢Ｙ∨Ｙ）∧（Provable(￢Ｙ)∨￢Provable(￢Ｙ))
⇔
Ｔ∧Ｔ
⇔
Ｔ

同じく四段目より、￢Ｙ⇔Provable(￢Ｙ)が見てとれるので、合わせると、なんとまー、Provable(Ｙ)⇔Provable(￢Ｙ）で、いずれにせよ、￢Ｙと同値だと？めんどくさいというよりも、読者にも計算を楽しんでほしいと思うから計算は省略するが、アッと驚くことには（途中で）Ｙ⇔Ｇが出てきます・・。

アッと驚く為五郎～っ、と、くりゃー、えっ、なに？