[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
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
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.083s