>>42
>>矛盾が導けない、と判断する方法はない
>ん？

もちろん、もっと強い公理を設定すれば
「ある理論から矛盾が導けるとすると、矛盾する」
といえる

例えば、自然数論の無矛盾性が、より強い超限帰納法を使えば証明できる、というような

しかし、その場合、超限帰納法を使って矛盾が導かれないか？という新たな問題が発生する

そして、さらに強い超限帰納法もしくは公理を使って、無矛盾性を証明することになる

この連鎖には終わりがない　したがって有限ステップで矛盾ありません！と判断する方法はない

無限ステップなら？　そもそも終わらないだろ