分からない問題はここに書いてね458

[過去ﾛｸﾞ] 分からない問題はここに書いてね458 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

737: 2020/03/19(木)16:29 ID:BW7TgbOd(1/5) AAS
ゼータ関数の非自明な零点の実部の下限とかもそうか

738(1): 2020/03/19(木)16:31 ID:BW7TgbOd(2/5) AAS
あとは実数全体の順序づけであって整列順序をなすものとか

740(1): 2020/03/19(木)17:48 ID:BW7TgbOd(3/5) AAS
>>739
外部ﾘﾝｸ:ja.m.wikipedia.org
これの『例と反例』の項の『実数の集合』を見ると、無理みたいだね

743(1): 2020/03/19(木)19:16 ID:BW7TgbOd(4/5) AAS
>>742
相対的に無矛盾としか書いてないね
『構成可能であると証明できる』ことと『実際に構成できる』ことは違うでしょ

745(2): 2020/03/19(木)19:55 ID:BW7TgbOd(5/5) AAS
>>744
その公理を加えてできる公理系ではそういう論理式の存在が証明できるというだけでしょ
そういう論理式の存在が、つけ加える前の公理系（単なるZFCとか）と独立な場合もちゃんと考慮しようよ