[過去ﾛｸﾞ] 分からない問題はここに書いてね458 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
737: １３２人目の素数さん [sage] 2020/03/19(木) 16:29:41.53 ID:BW7TgbOd(1/5) AAS
ゼータ関数の非自明な零点の実部の下限とかもそうか
738(1): １３２人目の素数さん [sage] 2020/03/19(木) 16:31:25.44 ID:BW7TgbOd(2/5) AAS
あとは実数全体の順序づけであって整列順序をなすものとか
740(1): １３２人目の素数さん [sage] 2020/03/19(木) 17:48:02.01 ID:BW7TgbOd(3/5) AAS
>>739
https://ja.m.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88#%E5%B0%8E%E5%85%A5
これの『例と反例』の項の『実数の集合』を見ると、無理みたいだね
743(1): １３２人目の素数さん [sage] 2020/03/19(木) 19:16:34.36 ID:BW7TgbOd(4/5) AAS
>>742
相対的に無矛盾としか書いてないね
『構成可能であると証明できる』ことと『実際に構成できる』ことは違うでしょ
745(2): １３２人目の素数さん [sage] 2020/03/19(木) 19:55:31.68 ID:BW7TgbOd(5/5) AAS
>>744
その公理を加えてできる公理系ではそういう論理式の存在が証明できるというだけでしょ
そういう論理式の存在が、つけ加える前の公理系（単なるZFCとか）と独立な場合もちゃんと考慮しようよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s