>>711 補足
1.自然数のノイマン構成(>>706)で、”無限公理”を適用して、可算無限集合 つまりは自然数の集合N(順序数ω)が構成できたとする
2.0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), .............................. となる
3.ここに、後者関数 S(α) := SN(α) ノイマン構成の後者関数である
4.さて、後者関数を S(α) := SZ(α) シングルトンによる後者関数(Zermelo)に置き換えても、上記2と同じことが言える
5.これを担保するのが、「レーヴェンハイム=スコーレムの定理:一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ」(>>706)ってことです
なお、これらを下記のスレに転載しておきますよ
現代数学の系譜 カントル 超限集合論他 3
https://rio2016.5ch.net/test/read.cgi/math/1595034113/
以上
探検
IUTを読むための用語集資料集スレ
■ このスレッドは過去ログ倉庫に格納されています
718現代数学の系譜 雑談 ◆yH25M02vWFhP
2020/11/02(月) 07:06:47.73ID:YSe1lExr■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【米米】米を「月30キロ」家族で消費する女性、カリフォルニア米を「4キロ2900円」で購入してみた感想は…… [ひぃぃ★]
- 【MLB】大谷翔平が急ブレーキ パパ初の本拠地も4の0 真美子夫人が選曲の登場曲も復帰後打率.125… 試合終了13分後に足早帰宅 [冬月記者★]
- なぜ?「就職氷河期世代」への支援続々 石破首相が“就労支援”など3本柱の対策を指示するなど各党が発表★4 [煮卵★]
- 【米国】「就任初日に戦争止める」と訴えていたトランプ氏「面白半分で言っていただけだ」★2 [あしだまな★]
- GACKT、永野芽郁と田中圭の不倫疑惑で「事務所が謝るのが全く理解できない」「日本の世論に謝罪を強要されているならマジでキモい」 [muffin★]
- 【北海道】自ら「泥棒ね」とレジ前を通過 パキスタン国籍の男は盗んだ日本酒を駐車場で飲酒 [樽悶★]
- 大阪万博の空飛ぶクルマ、デモ飛行中にプロペラ部品が外れるwwwwwwwwwwwwww🤣 [931948549]
- 万博で「ダンジョン飯」のマルシルのコスプレをして話題になったコスプレイヤー、カドカワ版権のキャラクターのグッズを個人で売っていた [384232311]
- 【GW暇な奴来い】安価で指定されたものを全力で探してうpするスレ
- ▶シオンたんお別れ会
- ベビーカー、重い荷物...なぜ日本人は手を差し伸べないのか?「困っている人=自業自得」一橋大×名大調査で明らかになった共感の欠如 [377482965]
- 政府「2030年、日本の高齢化、異次元です。いいアイデアないと本気で終わります。助けてください。」 [677076729]