>>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円 [お断り★]
- 【ロマンス詐欺】知らない外国人からのメッセージに、25%の人が返信経験。やり取りするうちに43%が好意を持ち、38%が金銭を要求された [煮卵★]
- 【国産回帰】バンス氏「時間かかる」 相互関税巡り訴え [蚤の市★]
- トランプ米大統領、中国に54%関税 ★2 [お断り★]
- NY株急落、1679ドル安で終了 トランプ相互関税で景気後退懸念 [蚤の市★]
- 【トランプ恐慌】初日はダウ、マイナス1700ドルなど主要国で500兆円が吹き飛ぶ [219241683]
- 【悲報】NISA去年の年初一括民も含み損に… [882679842]
- 日清、終わる。カップヌードルCMに『ホリエモン』起用。「日清不買運動」トレンド入り! [153490809]
- ぺこら「違法ROMはグレーだからこの企画辞めますわ。どっちが正義かわかんない」
- (´・ω・`)おはよ
- 冬産まれって高確率でチー牛らしいよ