ワシら数学主義の世の中で育ちましたのでなw
命題論理学では同義反復が証明だと聞いてビックリ仰天しましたのや、そうでっシャロ、数学で同義反復ゆうたら堂々巡りの悪循環ですがな、そうやないか、そう。無矛盾ゆうたかて間違いと無矛盾である可能性がありまっしゃないか、そうですねんて、そう。
ワシら論理証明なんて気がしれマヘンがなw
数学て矛盾してても良いんですぜえ~、ちょっと見せたげまひょか、次のようでおりますのや。2「2=1+1」としましたら¬2「2≠1+1」になりますやんか、せやけどそれは2⋀¬2が次のような意味になりますのや。つまり「2は1+1であるものであって1+1でないものは2ではない」となりますやないか、すなわち形式上は矛盾であるが意味は矛盾していない定義をすることがデキますやろ、そう。
論理学なんか糞くらえのパラドクスですねんw