形式主義では数学の無矛盾性を証言すらデキない

レンマ：
決定不能命題が証明不可能であれば数学は無矛盾であるｗ

　それにしてもゲーデルの間抜けさったらないですのや。「数学は無矛盾であれば無矛盾性は証明デキない」「数学が矛盾しておれば無矛盾性は証明デキる」とか言いますやろ、で、そしたら逆もまた真になるので「無矛盾性が証明デキなければ数学は無矛盾である」とだって言えてしまいますがな、そうですわな。

そこが形式主義だと
「無矛盾性は証明デキないとも証明デキない」
だから何も言えない、となるのですがなｗ

そこでワシは
「ゲーデル命題は決定不能命題の集合である」
と考えておるのじゃ！

そしたら
「決定不能命題が証明不可能であれば数学は無矛盾」
とだって言えますがな、そうですがなｗ

ゆえに「数学は無矛盾である」と証言し得る！



メ　デ　タ　シ　メ　デ　タ　シ