[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
732(2): １３２人目の素数さん [sage] 2020/11/03(火) 20:20:31.73 ID:F9WRUhYe(1/2) AAS
>>731
>シングルトンω
>そして、ωはいかなる自然数の後者でもない。
>従って、ωの直前の前者の自然数もない。
一行目と二行目三行目が矛盾
もしωがシングルトンなら、その要素はω−1
つまりω＝｛ω−１｝
一方、ωの前者ω−１が存在しないという
それならωはシングルトンになり得ない
Mara Papiyasならこういうだろうなぁ、きっと
「ハイ、論破！」
733(2): １３２人目の素数さん [sage] 2020/11/03(火) 20:24:43.38 ID:F9WRUhYe(2/2) AAS
>ωの直前の前者の自然数もない。
>それはシングルトンに限らない。
>それは、ノイマンの後者関数でも同様だよ
そうっすね
ω＝X∪{X}となるようなXは存在しないっす
つまり、ノイマンのωも、別に後者関数X∪{X}でつくられたものではないっす
Mara Papiyasならこういうっす、きっと
「今頃気づいたのか？このダラズがぁ！」
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s