>>626-627
(引用開始)
レーヴェンハイム−スコーレムの定理
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。
The proof of the upward part of the theorem also shows that a theory with arbitrarily large finite models must have an infinite model; sometimes this is considered to be part of the theorem.
(引用終り)
後者関数の繰り返し適用で、無限集合ができる
それは、ノイマンの後者関数であれ、ZERMELOの後者関数(=多重シングルトン)であれ、同じことだよ
無理するな
現代数学の系譜 カントル 超限集合論
■ このスレッドは過去ログ倉庫に格納されています
628現代数学の系譜 雑談 ◆e.a0E5TtKE
2019/12/07(土) 14:54:57.80ID:H2e5WMAT■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【米株式】NYダウ大幅反落、一時1500ドル超安=ナスダックも安い(3日午前) [Ikhtiandr★]
- 【速報】 1ドル=145円 [お断り★]
- トランプ米大統領、中国に54%関税 ★2 [お断り★]
- 【国産回帰】バンス氏「時間かかる」 相互関税巡り訴え [蚤の市★]
- NY株急落、1679ドル安で終了 トランプ相互関税で景気後退懸念 [蚤の市★]
- 【特殊詐欺】トー横で誘われた「海外で月78万円」の仕事は… 被害男性の1カ月 [蚤の市★]
- 日清、終わる。カップヌードルCMに『ホリエモン』起用。「日清不買運動」トレンド入り! [153490809]
- 【悲報】NISA去年の年初一括民も含み損に… [882679842]
- 【マギレコ】VIPでマギアレコード&マギアエクセドラ【マギエク】
- ぺこら「違法ROMはグレーだからこの企画辞めますわ。どっちが正義かわかんない」
- ワイ社畜、吐く🤮 対策スレ
- トランプ大統領 「株価下落は一時的なもの。相互関税でアメリカへの投資は増え、株価は上昇する」 [476729448]