《大スクープ》数学の無矛盾性は背理法により証明できる

１）Ｇ「Ｇは直説法では証明できない」と置くと￢Ｇ「Ｇは直説法で証明できる」である。

２）仮説として数論の体系に￢Ｇを仮定するとＧ∧￢Ｇが導かれて矛盾する。

３）矛盾の原因は前提として￢Ｇを仮定したことである。

４）２）３）より￢Ｇは否定されてＧとなる。

５）ゆえにＧは背理法により証明できる。

６）Ｇを「数学命題の同義反復」と置けば設定完了。


で、ね、これって間違ってないのじゃないだろうかと思うのだけど・・、さて？