>>625
無理するな
https://ja.wikipedia.org/wiki/%E3%83%AC%E3%83%BC%E3%83%B4%E3%82%A7%E3%83%B3%E3%83%8F%E3%82%A4%E3%83%A0%E2%80%93%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%AC%E3%83%A0%E3%81%AE%E5%AE%9A%E7%90%86
レーヴェンハイム?スコーレムの定理
(抜粋)
レーヴェンハイム?スコーレムの定理(英: Lowenheim?Skolem theorem)とは、可算な一階の理論が無限モデルを持つとき、全ての無限濃度 κ について大きさ κ のモデルを持つ、という数理論理学の定理である。
そこから、一階の理論はその無限モデルの濃度を制御できない、そして無限モデルを持つ一階の理論は同型の違いを除いてちょうど1つのモデルを持つようなことはない、という結論が得られる。
定理の上方部分の証明は、いくらでも大きな有限のモデルを持つ理論は無限のモデルを持たねばならないことをも示す。
レーヴェンハイム-スコーレムの定理から導かれる結論の多くは、一階とそうでないものの違いがはっきりしていなかった20世紀初頭の論理学者にとっては直観に反していた。
例えば、真の算術 (true arithmetic) には非可算なモデルがあり、それらは一階のペアノ算術を満足するが、同時に帰納的でない部分集合を持つ。さらに悩ましかったのは、集合論の可算なモデルの存在である。
それにもかかわらず、集合論は実数が非可算であるという文を満たさなければならない。この直観に反するような状況はスコーレムのパラドックスと呼ばれ、可算性 (countability) は絶対的 (absolute) ではないことを示している。
つづく
探検
現代数学の系譜 カントル 超限集合論
■ このスレッドは過去ログ倉庫に格納されています
626現代数学の系譜 雑談 ◆e.a0E5TtKE
2019/12/07(土) 14:50:12.16ID:H2e5WMAT■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 「コメ農家の時給10円説」はウソである…日本人に高いコメを買わせ続ける農水省・JA農協の"裏の顔" [ぐれ★]
- 【誰のルールにも従わない】トランプ氏、服装規定従わず=教皇葬儀に青いスーツ姿 [ぐれ★]
- 【福岡】運転免許試験場で寝ていた19歳男が起こされ激高→70歳元警察官の男性指導員に暴行 その場で取り押さえられ現行犯逮捕 飯塚 [ぐれ★]
- 万博来場の7割強が50歳以上 推計 [少考さん★]
- 万博の「大屋根リング」 200メートル残す方向で万博協会が調整へ:朝日新聞 [少考さん★]
- なぜ?「就職氷河期世代」への支援続々 石破首相が“就労支援”など3本柱の対策を指示するなど各党が発表★5 [煮卵★]
- 【朗報】"氷河期支援" 日本の国策に! 石破首相「農業、建設、物流へ就労を」 三原じゅん子担当大臣「充実させていきたい」 [452836546]
- 大阪万博の来場者、7割強が50歳以上と判明 [931948549]
- 🏡
- 【実況】博衣こよりのえちえちクロノクロス🧪★2
- 高速道路の逆走理由、意外とたくさん。こりゃ事故も起こりますわ [289416686]
- ジャップ、外国人に笑われまくる… 俺たちが何したって言うんだよ… [667744927]