全ての命題が真かもし ..
47:１３２人目の素数さん
20/08/01 21:22:44.52 ALxs7FIt.net
同じこと何回か書いてるけど
プレスバーガー算術は数学の"一部分"にすぎないんだよ
>プレスバーガー算術は因数分解に関する規則や素数のような概念を形式化できない。一般的に乗法に関する自然数の概念は不完全性と決定不可能性につながることからプレスバーガー算術では定義することはできない。
(wikipedia)
部分的な無矛盾性を証明した気になっていても意味ない
それ以外の部分（この場合は因数分解とか素数とか）に矛盾があるかもしれないから
数学全体の無矛盾性証明以外に価値はない
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
1321日前に更新/104 KB
担当:undef