22/06/28 18:32:08.28 XQwjXYpB.net
正確には
「全ての証明可能である命題の集合は帰納的枚挙可能集合であるが帰納的ではない」
しかし今回のはそうではなく
「全ての証明は帰納的」
の方
証明が正しいか正しくないかは計算機で完全に判定可能
というより実験という神様がいない数学の世界では書かれた論文の内容が全て、その内容のみで正しいか正しくないかが確定する
正しいか正しくないかの議論など発生する余地などない
そんなものが発生するのならそれは数学っぽい言葉を使ってる何か他のもの
そんなもので遊びたいなら勝手にすればいい