カリー命題の本質も勿論そこに有るワケですのや

そら異論ですのや、「この命題が正しいならば、Ａ」をＴ⇒Ａと表現しますよってｗ

　まあー、そおガッカリせんといてーや、ワシはそう思たんじゃから、そうですがな。ワシの独断と偏見によれば、カリーのパラドクスなんかワシ独自のクォーク命題の理論を用いて、ま、あっけにとられるよーに簡単に解かれますのや、そうでっせ。

「この命題が正しいならば，Ａ」
⇔
Ｔ⇒Ａ　　（新論理学によるカリー命題の定式）
⇔
Ｆ∨Ａ
⇔
Ａ
⇔
「この命題はＡである」
⇔
Ｃ「Ｃ is Ａ」　　（クォーク命題表示をしたカリー命題の定式）

　これを否定すると、￢Ｃ「Ｃ is not A」（Ａで無いモノはカリー命題と言わない」ですからね、Ａを否定デキる道理が無くなってしまいますのや、そうでっせ。見よ、これこそが世界初のカリーパラドクス完全解決の夜明けなのじゃー、自己責任で自慢してますのや、そうですがな。