[過去ﾛｸﾞ] 実数を使わないと証明できない整数論の結果はありますか？ (18ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
8(1): poem 2025/04/29(火)21:05 ID:aOxFfPZf(4/4) AAS
ある数4が無矛盾かは
ある数4の時点で無矛盾が証明され
次の数5でも無矛盾が証明されたとき
ある数4の無矛盾が疑われる
次の数5では矛盾してなきゃいけない
これは
自己言及が無いとき、矛盾してなきゃいけない、は誤りで
無矛盾でいいでしょ？
つまりΠ01言及は自己言及など特殊なケースでなきゃいけないとわかる
上下前次1-新書関写板覧索設栞歴
あと 10 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.139s*