ゲーデル文とかいう数学で使わない命題を考えてるのがよくない
そういうのは数学の命題じゃないから証明できてもできなくてもどうでもいい

「数学で使う命題」という範囲を適切に設定すれば数学の無矛盾性が証明できる
やり方は教えたからあとはガンバ