[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
563: １３２人目の素数さん [sage] 2019/09/25(水) 05:23:27.64 ID:EeFvG8oM(1/4) AAS
レス乞食
https://dic.nicovideo.jp/a/%E3%83%AC%E3%82%B9%E4%B9%9E%E9%A3%9F
567(3): １３２人目の素数さん [sage] 2019/09/25(水) 07:14:02.09 ID:EeFvG8oM(2/4) AAS
xが順序数⇔x は推移的集合であり x の要素もまた推移的集合
wikipediaの自然数の「単純な構成」（多分ツェルメロによるもの）では
0,1は順序数だが、2={{{}}}は順序数ではない
568(2): １３２人目の素数さん [sage] 2019/09/25(水) 07:43:53.12 ID:EeFvG8oM(3/4) AAS
ω＝{ω}とすると、正則性公理に反する
正則性公理を採用しない集合論（ZFC-AFA)の上では
上記のωは集合となるが、その場合も要素は１個
https://ja.wikipedia.org/wiki/%E3%83%94%E3%83%BC%E3%82%BF%E3%83%BC%E3%83%BB%E3%82%A2%E3%82%AF%E3%82%BC%E3%83%AB
576(2): １３２人目の素数さん [sage] 2019/09/25(水) 19:55:59.76 ID:EeFvG8oM(4/4) AAS
>>569
>>567の順序数は∈を順序関係とした場合の定義
>>570-571
>有限個の元からなる集合を、
>有限集合とする定義もありだろうが、
「・・・もあり」ではなく上記の定義が全て
キューネンの本を翻訳した藤田氏に
ツイッターで訊ねたら？
藤田氏のtwitterアカウント
ジタさん (@fujitapiroc1964)
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s