>>190
こういうこというやつはたいてい次のいずれか

1、数学の無矛盾性を他の体系から証明しようとしてる
じゃあ"他の体系"の無矛盾性は?
はい論破

2、数学の一部分(プレスバーガー算術など)しか考えてない
じゃあ他の部分の無矛盾性は?ZFCの無矛盾性を証明できんの?
はい論破