0001132人目の素数さん垢版 | 大砲2019/09/22(日) 23:34:48.60ID:eQruPmJi ゲーデル文とかいう数学で使わない命題を考えてるのがよくない そういうのは数学の命題じゃないから証明できてもできなくてもどうでもいい 「数学で使う命題」という範囲を適切に設定すれば数学の無矛盾性が証明できる やり方は教えたからあとはガンバ