>>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■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 米財務長官 各国はパニックにならず報復しないように 報復なければ今の数字が上限、報復すれば事態は悪化すると警告 [Hitzeschleier★]
- 「シンゾーはすぐ理解」 トランプ氏、相互関税に絡め安倍氏を称賛 [蚤の市★]
- 株価 一時1600円以上急落 今年最大の下落幅 相互関税発表受け [七波羅探題★]
- 【ゲーム】ニンテンドースイッチ2国内専用モデルで海外への転売対策! 国内も抽選応募条件に50時間プレイ実績必須 [Ikhtiandr★]
- 【芸能】藤田ニコル 関西人に言われたパワーワード『お前』で「何回モメてきたか…」 「私は名前があります!」と反論 [冬月記者★]
- 3日寄り付きの日経平均株価=684円20銭安の3万5041円67銭 [七波羅探題★]
- 日本国内で若年層のコカイン検挙人数が大幅増 [256556981]
- 【訃報】日経先物-1800円で34000割れのスーパーマンデーに [517459952]
- 【石破悲報】microSD Expressカード、転売屋に買い占められて国内の在庫が軒並み消える… 俺たちの東映無線!風見鶏!仕入れ頑張って!! [679326974]
- 【相互関税】トランプ大統領、安倍を称賛、「シンゾーなら直ちに理解した」 [147827849]
- 貧乏おまえらが好きなもの3選「マック」「週刊少年ジャンプ」
- 【安倍悲報】テスラ、世界販売台数を13%も下げてしまう🤔いったいなぜ… [359965264]