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