現代数学の系譜　カントル　超限集合論

[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

623: １３２人目の素数さん [] 2019/12/07(土) 09:25:15.54 ID:uZFmzNJe

つまりツェルメロのいう集合は
{0,{0},{{0}},…}
ってこと

◆e.a0E5TtKEへ贈る言葉

::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::。:::::::::::::::::::::::::::::::::::::::::::::
:::::::::::::::::::::::::::::::::。::::::...... ...　　 --─-　　:::::::::::::::::::: ..::::: . ..::::::::
:::::::::::::::::...... ....:::::::゜::::::::::..　　 （___ ）（___ ）　::::。:::::::::::::::::　゜.::::::::::::
:. .:::::。:::........　.　.::::::::::::::::: _　i/ ＝　＝ヽi　:::::::::::::。::::::::::: . . . ..::::
:::: :::::::::.....:☆彡::::　　　／/[||　 　 」　　||]　 ::::::::::゜:::::::::: ...:: :::::
　:::::::::::::::::: . . . ..: ::::　/　ﾍ　| |　 ____,ヽ | |　:::::::::::.... .... ..　.::::::::::::::
::::::...゜　.　.:::::::::　　／ヽ ﾉ　 　 ヽ＿＿/　　.......　.　.::::::::::::........ ..::::
:.... .... ..　.　　　　 く　 /　　　 　三三三∠⌒＞:.... .... ..　.:.... .... ..
:.... .... ..:.... .... ..... .... ..　.:.... .... ..　..... .... ..　..... ............. ..　.　........　......
:.... . ∧∧　 　∧∧　　∧∧　 　∧∧　.... .... ..　.:.... .... ..... .... ..　.
... ..:（　　 ）ゝ （　　 ）ゝ（　　 ）ゝ（　　 ）ゝ無茶しやがって… ..........
....　 i⌒　/ 　 i⌒　/ 　i⌒　/ 　 i⌒　/　..　..... ................... ..　.　...
.. 　 三　 | 　 三　 | 　 三　 | 　 三　|　　... ............. ...........　.　.....
...　 ∪ ∪ 　 ∪ ∪ 　 ∪ ∪ 　∪ ∪　............. ............. ..　........　...
　　三三　　三三　　三三　　　三三
　三三　　三三　　三三　　　三三

http://rio2016.5ch.net/test/read.cgi/math/1570237031/623

627: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [] 2019/12/07(土) 14:51:04.02 ID:H2e5WMAT

>>626

つづき

https://en.wikipedia.org/wiki/L%C3%B6wenheim%E2%80%93Skolem_theorem
Lowenheim?Skolem theorem
(抜粋)
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.

Many consequences of the Lowenheim?Skolem theorem seemed counterintuitive to logicians in the early 20th century, as the distinction between first-order and non-first-order properties was not yet understood.
One such consequence is the existence of uncountable models of true arithmetic, which satisfy every first-order induction axiom but have non-inductive subsets.

Another consequence that was considered particularly troubling is the existence of a countable model of set theory, which nevertheless must satisfy the sentence saying the real numbers are uncountable.
This counterintuitive situation came to be known as Skolem's paradox; it shows that the notion of countability is not absolute.

http://rio2016.5ch.net/test/read.cgi/math/1570237031/627

636: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [] 2019/12/07(土) 15:37:50.36 ID:H2e5WMAT

>>622
おサル＝ID:uZFmzNJe は、恥かきだなｗ（＾＾；
正則性公理のそこでつまずいているのかｗ

（参考）
Inter-universal geometry と ABC予想 42
https://rio2016.5ch.net/test/read.cgi/math/1572150086/
701 名前：１３２人目の素数さん[] 投稿日：2019/12/07(土) 09:59:15.64 ID:uZFmzNJe [3/3]
>>697
＞正則性公理には反してませんよ、ZFCに反してませんよと強調したかった
しかし∈-loopsは、正則性公理とは矛盾しますけどね
「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから
（それゆえ「基礎の公理」とも呼ばれる）

https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82
整礎関係
(抜粋)
数学において、二項関係が整礎（せいそ、英: well-founded）であるとは、真の無限降下列をもたないことである。

定義
集合あるいはクラス X 上の二項関係 R が整礎であるとは、X の空でない任意の部分集合 S が R に関する極小元を持つことをいう[1]。

X が集合であるとき、従属選択公理（英語版）（これは選択公理よりも真に弱く可算選択公理よりも真に強い）を仮定すれば、同値な定義として、関係が整礎であることを可算無限降下列が存在しないこととして定められる[3]。

集合 x が整礎的集合 (well-founded set) であることは、∈ が x の推移閉包上で整礎関係となることと同値である。ZF における公理のひとつである正則性の公理は、全ての集合が整礎であることを要請するものである。

関係 R が X 上で逆整礎 (converse well-founded) または上方整礎 (upwards well-founded) であるとは、R の逆関係 R?1 が X 上の整礎関係であるときにいう。このとき R は昇鎖条件を満たすという。

例
全順序でない整礎関係の例。
・自然数の順序対全体の集合 N × N 上の、(n1, n2) < (m1, m2) ⇔ n1 < m1 かつ n2 < m2 となる順序。

整礎でない関係の例。
・負整数全体 {?1, ?2, ?3, …} の通常の順序。任意の非有界部分集合が最小元を持たない。
・有理数全体（または実数全体）の標準的な順序（大小関係）。たとえば、正の有理数（または正の実数）全体は最小元を持たない。
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1570237031/636

上下前次 1-新書関写板覧索設栞歴

あと 299 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.019s