[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
629: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/26(火)00:03 ID:Kei/fUvv(1/4) AAS
>>624 補足
>ZFC や、一般連続体仮説を加えた体系 ZFC+GCH においては、R 上の整列順序を定義する論理式は存在しない[1]。
ここen.wikipediaでどうなっているかというと、下記
”However it is consistent with ZFC that a definable well ordering of the reals exists—for example, it is consistent with ZFC that V=L, and it follows from ZFC+V=L that a particular formula well orders the reals”
で、しかし V=L（構成可能公理）は、『大多数（の集合論者）がそれは偽であると信じています』だってｗ ；ｐ）
ともかくも、en.wikipediaのチェックは必要ですな ；ｐ）
(参考)
省12
630: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/26(火)00:03 ID:Kei/fUvv(2/4) AAS
つづき
Statements true in L
The existence of a definable well-order of all sets (the formula for which can be given explicitly).
In particular, L satisfies V=HOD.
en.wikipedia.org/wiki/Ordinal_definable_set
Ordinal definable set
A set further is hereditarily ordinal definable if it is ordinal definable and all elements of its transitive closure are ordinal definable. The class of hereditarily ordinal definable sets is denoted by HOD, and is a transitive model of ZFC, with a definable well ordering.
省4
631(1): 2024/11/26(火)00:42 ID:Kei/fUvv(3/4) AAS
>>628
規制板で
・部落差別の放送禁止用語”エッタ”連投につき 永久アク禁希望
外部ﾘﾝｸ:rio2016.5ch.net 2024/11/25(月) 20:13:26.92ID:X9aIenaL
外部ﾘﾝｸ:rio2016.5ch.net 2024/11/25(月) 21:03:32.52ID:X9aIenaL
外部ﾘﾝｸ:rio2016.5ch.net 2024/11/25(月) 21:38:56.03ID:l1rpo/A6
と投稿してきました
633(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/26(火)07:53 ID:Kei/fUvv(4/4) AAS
>>632
Black People=
立花孝志【ＮＨＫ党党首】 元国会議員 "真実を発信する正義の人"！
X (Twitter) twitter.com/tachibanat
すばらしいね
部落差別の放送禁止用語”エッタ”連投した方を擁護し
それを たしなめた方を批判する
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s