実数を使わないと証明できない整数論の結果はありますか？ (18ﾚｽ)

実数を使わないと証明できない整数論の結果はありますか？ http://rio2016.5ch.net/test/read.cgi/math/1745698690/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

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

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

あと 10 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.016s