ゲーデル命題をとやかく言っているうちにカリーパラドクスを解決したと思われまして

カリー命題は「この命題が正しければＡ」の形ですよね？

これをゲーデル命題風に術語文Ｘに置き換えますとＸ「Ｘが正しければＡ」になりますが、

その否定形は￢Ｘ「Ｘが正しければ￢Ａ」ですわな・・。

Ｘ∧￢Ｘが無矛盾になって　　　　　　　　　　　　　　注）　いまのところ、ここが非自明ですけど

「Ｘが正しければＡなのがＸであって、Ｘが正しければ￢ＡなのはＸじゃない」

と意訳されますｗ

前半部から「Ｘが正しければＡ」が帰結されまして

場合分けをすればＸが真の場合にはＡが真と言えます。

さらに、

￢Ｘが正しい場合には後半部から「Ｘが正しければ￢Ａ」ですが

￢Ｘが正しい場合なのでＡの真偽は不明だということになります！



これって世界初のカリーパラドクスの解決ですよね？