[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
546(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)14:56 ID:pyyDnAPQ(9/15) AAS
>>544-545
箱入り無数目の代表の集合は、definableではない！！ｗ ；ｐ）
だから
固定することは不可能だと
>>542より ”no Vitali set is definable”（>>529） ヴィタリ集合は、definableではない
”Axiom of Choice is regarded as a non-constructive statement, so we do not have an algorithm or something like that in order to properly “construct” the Vitali set. We only use the Axiom of Choice to assert its existence, and that’s all.”by Samuel Gomes da Silva Ph.D.
あなた "固定,固定,固定だぁ！"
省2
549: 2024/11/24(日)15:15 ID:20B4O1iN(11/18) AAS
>>546
>あなた "固定,固定,固定だぁ！
固定という言葉が分からないなら小学校からやり直し
551(1): 阿弥陀如来 ◆0t25ybzgvEX5 2024/11/24(日)16:21 ID:I9DmCuNm(16/18) AAS
>>543 >箱入り無数目の代表の集合は、definableではない！！
>>546 >だから固定することは不可能だと
箱入り無数目の代表の集合が定義可能集合である必要はない
存在すれば一意化できる（例えば、自然演繹の∃除去規則）
ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%BC%94%E7%B9%B9
555(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)19:20 ID:pyyDnAPQ(11/15) AAS
>>551
>>543 >箱入り無数目の代表の集合は、definableではない！！
>>546 >だから固定することは不可能だと
箱入り無数目の代表の集合が定義可能集合である必要はない
存在すれば一意化できる（例えば、自然演繹の∃除去規則）
ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%BC%94%E7%B9%B9
(引用終り)
省19
556(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)19:23 ID:pyyDnAPQ(12/15) AAS
>>546より再録します
>>544-545
箱入り無数目の代表の集合は、definableではない！！ｗ ；ｐ）
だから
固定することは不可能だと
>>542より ”no Vitali set is definable”（>>529） ヴィタリ集合は、definableではない
”Axiom of Choice is regarded as a non-constructive statement, so we do not have an algorithm or something like that in order to properly “construct” the Vitali set. We only use the Axiom of Choice to assert its existence, and that’s all.”by Samuel Gomes da Silva Ph.D.
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s