>>138
つづき
(>>92-93)
https://lemniscus.hatenablog.com/entry/20120616/1339838683#sec6-7
再帰の反復blog
2012-06-16
反復的集合観と公理的集合論
(抜粋)
整礎原理
自分自身を含んでいたり包含関係が循環することがないため、「∈」について順序関係が成立することになる。
つまり包含関係「∈」に基づく「より単純な集合」←→「より複雑な集合」という相対的な位置づけを与えることができる。しかも包含関係「∈」を内側にたどっていくと必ずどこかで終わるので、「より単純な集合」←→「より複雑な集合」のうち、「より単純な集合」の方向はどこかで終点に至る。
整礎原理の成り立つ集合世界では、もっとも単純な集合から始まってだんだん複雑な集合に向かっていくという整然とした秩序が存在する
(この秩序は集合の要素数の大小関係とは異なる。たとえば0∈N∈{N})。
もっとも単純な集合は、要素を何も含まない空集合Φである。空集合Φはもちろん存在してほしい。
またこの空集合を元にして、{Φ},{{Φ,{{{Φ},{{{{Φ,…とか{Φ,{Φ,{Φ,{Φ},{{Φ},{Φ,{Φ},{{Φ,{{{Φ,…といった集合も存在していてほしい。
(>>127)
https://researchmap.jp/mu1x9nhhd-21099/?action=multidatabase_action_main_filedownload&download_flag=1&upload_id=40760&metadata_id=12105
公理論的集合論(情報科学特別講義 III) 矢田部俊介 2013 年 2 月 17 日 京都大学文学部大学院文学研究科
P21
4.4 推移的モデルとモストウスキ崩壊
集合論のモデルを扱う場合、一口にモデルと言ってもいろいろなモデルがある。多くの場合、モデルが ∈ に
関し推移的である(x ∈ y ∈ M ならば x ∈ M)であると証明が楽である。
(引用終り)
以上
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77
■ このスレッドは過去ログ倉庫に格納されています
139現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
2019/09/14(土) 11:29:17.40ID:QdZ5TU5n■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【W杯】日本はF組2位で3大会連続決勝T進出 1回戦で王国ブラジルと激突 スウェーデンと1-1ドロー ★11 [恐縮です★]
- 高市政権、イランに16億円の緊急無償資金協力 イラン国民に生活必需品や食料を配布 [お断り★]
- 【サッカー】「韓国を脱落させようとしているのか」 日本代表のドローに韓国メディアが怒り爆発「突然無気力になった」 [jinjin★]
- 生成AIで、幼児のような女性のわいせつ画像を有料公開 600万円稼いだ男に拘禁刑1年6か月・執行猶予3年の判決 富山地裁 [少考さん★]
- ケロロ軍曹出演の小栗旬、「なんの思い入れもない」とコメントし「もっと言葉を選ぶべきでは」「こんな言われ方して悲しい」などの声続出 [Ailuropoda melanoleuca★]
- 【サッカーW杯・3位順位表】3チームの3位突破が決定 残る椅子は5つ...9チームによる争い [首都圏の虎★]
- 西武線 4
- ハム専 ★2
- 【STARDOM】スターダムワールド Part.122
- 〓たかせん〓★2
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★201【メキシコ/カナダ/アメリカ】
- ハム専3
- ダブルタイフーン🌀😅🌀🏡
- 防衛省「日本が軍備を拡大すると中国は「日本には勝てそうにない…攻撃はやめよう…」となる」 [931948549]
- XBOXがまたも値上げ 1年ちょっとの間に3回目の値上げ実施 もうこのハードだめかもしれんね [303493227]
- 東浩紀「高市さんの中傷動画、怪しいと思って触れなかったら正解だったっぽい。騒いだ人は大変だね」 [834922174]
- 【高市悲報】人生で一回も「胴上げ」されたことない🥺 [616817505]
- 【実況】さくらみこのあえんびえん栄冠ナイン2026🌸