[過去ﾛｸﾞ] 分からない問題はここに書いてね458 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
749(1): １３２人目の素数さん [] 2020/03/20(金) 00:30:07.33 ID:vSa3xPGp(2/2) AAS
>>745
>その公理を加えてできる公理系ではそういう論理式の存在が証明できるというだけでしょ
それはZFCでできるでしょ
具体的では無いが
756: １３２人目の素数さん [sage] 2020/03/20(金) 07:30:26.64 ID:u6fG/32K(1) AAS
>>749
『整列可能性』と『整列順序を定義する論理式の存在』は違わない？そもそも
>しかし、ZFC や、一般連続体仮説を加えた体系 ZFC+GCH においては、R 上の整列順序を定義する論理式は存在しない[1]。
とあるけど何を根拠に？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.048s