>>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■ このスレッドは過去ログ倉庫に格納されています
ニュース
- トランプ大統領「耐え抜け」 関税発動でアメリカ国民に檄「これは経済革命、われわれは勝利する」★3 [Hitzeschleier★]
- 【速報】ETC障害、料金所開放し事後精算に [蚤の市★]
- 笠井信輔アナ フジテレビに被害女性に寄り添ったFさんの「実名で会社として名誉回復を」求める… 「彼女も憔悴しきっていた」 [冬月記者★]
- ひろゆき氏、中居正広氏の誘い断れなかった元フジ女性に 「気持ちはわかると同意するのは社会に害悪」 [冬月記者★]
- 「トランプは退陣を」 米各地で抗議デモ、最大規模 ★5 [蚤の市★]
- 「オルカン」「S&P500」は絶対におすすめしない…森永卓郎さん「いますぐ新NISAをやめなさい」と語った真意 [パンナ・コッタ★]
- 【朗報】大阪万博、個人情報抜き取り方針を改正へ なお要予約パビリオン入場したい方は要提出 なにをいってるかわからないかもしれないが [974680522]
- 【崩壊】ニューヨークのトランプ退任デモ、限界突破wwwwwwwwwwwwww [458340425]
- 【悲報】大阪万博「まだ4割しか出来てない」 [616817505]
- 姫森ルーナの精液ゴクゴク考察部🤛😅🤜🏡
- 【実況】博衣こよりのえちえちクロノトリガー🧪 ★6
- 【実況】博衣こよりのえちえちクロノトリガー🧪 ★7