[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
694(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/01(日)12:31 ID:o4gNmK89(9/18) AAS
>>692
>ωー1が存在しない＝「可算無限シングルトン、は実現できない」 ですが
（等号成立の）数学的な証明がないし
”ωー1が存在しない”としても
ωが存在するなら、それでシングルトンも可でしょｗ
ωに対応するシングルトンを考えて、それを最初の可算無限シングルトンとすれば良い！
それを、Singωとでもすれば良い！！ｗ（＾＾
省14
695(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/01(日)12:32 ID:o4gNmK89(10/18) AAS
>>694 タイポ訂正
ｗ+1に対応するシングルトンは、Singω+1となるだけの話だよね
↓
ω+1に対応するシングルトンは、Singω+1となるだけの話だよね
698(1): 特別支援学校教諭 2020/11/01(日)14:38 ID:Fdz+cM+e(15/23) AAS
>>694
>”ωー1が存在しない”としても
>ωが存在するなら、それでシングルトンも可でしょｗ
いえ、不可です
なぜなら 順序数ｘをシングルトンで実現する場合
その唯一の要素が順序数ｘ−１だからです
つまり、ω−１が存在しないなら、
省11
700(1): 特別支援学校教諭 2020/11/01(日)14:49 ID:Fdz+cM+e(17/23) AAS
>>694
＞＜時枝関連＞と＜「可算無限シングルトン」＞の関連スレは…
>>675で「箱入り無数目」と「可算無限シングルトン」を持ち出したのは
◆yH25M02vWFhPさん、あなたですが
注：私は「箱入り無数目」については、著者名を敢えて出さないことにしています
なぜなら記事の内容は、著者自身のアイデアによるものではないからです
それにしても、上記の2件について、あなたはまだご自分の誤りを
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s