ゲーデル命題はカリーのパラドクスとも関係している不純な命題でしかないことが判明しました

新論理学に移行します、まずカリー命題の新しい定式から始めましょうｗ）

カリー命題「この命題が正しいならば，Ａ」は（Ｔ⇒Ａ）と定式化できると仮定します、すると

Ｔ⇒Ａ
⇔
Ｆ∨Ａ
⇔
Ａ

　すなわち「この命題はＡ」と同値です。ここにＡに「この命題は証明できない」を代入して「この命題」をＧにしたらゲーデル命題になることを確認してくださいね、つまりゲーデル命題Ｇ「Ｇは証明できない」はカリー命題「この命題が正しいならば，この命題は証明できない」と同値です・・。

さらにゲーデル命題Ｇ「Ｇは証明できない」は主語を述語命題の名前にしておりますから、クォーク命題であり、

Qua.X(X)＝X⇔X is A. クォーク命題
￢Qua.X(X)＝X⇔X is not A. 否定クォーク命題
￢Qua.￢X(X)＝￢X⇔X is not A. 反クォーク命題　　　　　
￢Qua.￢X(￢X)＝￢X⇔￢X is not A. 反対クォーク命題

ＸにＧを代入した物がゲーデル命題となりますが、￢Ｇは否定クォーク命題ではなくて反クォーク命題になりますので、そこではＧ∧￢Ｇは中間子文を形成して意味を強調し合うばかりなので矛盾になりませぬｗ）



不完全性定理の結論「数学の無矛盾性は正しいならば証明できない」はカリー命題であった・・。