実数を使わないと証明できない整数論の結果はありますか? (18レス)
上
下
前
次
1-
新
8
(1)
:
poem
04/29(火)21:05
ID:aOxFfPZf(4/4)
調
AA×
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
8: poem [] 2025/04/29(火) 21:05:17.10 ID:aOxFfPZf ある数4が無矛盾かは ある数4の時点で無矛盾が証明され 次の数5でも無矛盾が証明されたとき ある数4の無矛盾が疑われる 次の数5では矛盾してなきゃいけない これは 自己言及が無いとき、矛盾してなきゃいけない、は誤りで 無矛盾でいいでしょ? つまりΠ01言及は自己言及など特殊なケースでなきゃいけないとわかる http://rio2016.5ch.net/test/read.cgi/math/1745698690/8
ある数が無矛盾かは ある数の時点で無矛盾が証明され 次の数でも無矛盾が証明されたとき ある数の無矛盾が疑われる 次の数では矛盾してなきゃいけない これは 自己言及が無いとき矛盾してなきゃいけないは誤りで 無矛盾でいいでしょ? つまり言及は自己言及など特殊なケースでなきゃいけないとわかる
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 10 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.221s*