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

[過去ﾛｸﾞ] 分からない問題はここに書いてね458 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

744(1): 2020/03/19(木)19:36 ID:KrhQLEng(2/2) AAS
>>743
？
> ZFC+V=L ではある特定の論理式が R（実際には任意の集合）を整列順序付けることが従う。

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