[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
65(1): 2019/10/05(土)16:02:16.62 ID:kZwmbLNI(29/44) AAS
>>61
＞一方
＞「0, 1, 2, 3, ............, ω」
＞「すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である」
＞（ここでノイマン構成では
＞0∈1∈2∈ 3∈ ............∈ω となる順序が形成されている）
＞となる
省7
80(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)17:27:22.62 ID:JrhjRl4x(35/46) AAS
>>79
追加
列
Φ＝0∈1∈2∈3・・・∈n・・・∈N
の長さが有限？
あなた
なんとかの素人さんですか？
103: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)22:25:40.62 ID:JrhjRl4x(45/46) AAS
>>99
＞縦方向は必ず有限です
証明は？
正則性公理に反するですか？
240: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/10(木)20:21:05.62 ID:JCH5uyU5(4/7) AAS
>>239
(引用開始)
>しばし待てば定義を与える
詐欺師が約束守る訳ないじゃんｗ
この詐欺師、今まで何度約束を破ったことかｗ
(引用終り)
？
省10
350(1): Mara Papiyas ◆y7fKJ8VsjM 2019/10/13(日)18:07:53.62 ID:2pwdGOo0(10/24) AAS
>>347
オレが守りたいのはオレ自身だけだｗ
カネだけ見てると、肝心なものが見えなくなるぞ
誰が得をし誰が損をしてるか 見ることだ
無駄な仕事で儲けてる奴は悪党なんだよ
390: ID:1lEWVa2s 2019/10/13(日)19:38:11.62 ID:87Wfcy4Z(7/11) AAS
高沢院長は薬には詳しくない
杉浦副院長が詳しい
それを高沢院長は認めなかったから杉浦副院長が裏で怒ったはず
434(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/18(金)11:50:33.62 ID:X/c9sPkS(2/2) AAS
”U の各元のすべてのシングルトン”ｗ（＾＾
シングルトンは、無制限
有限ではない(゜ロ゜;
552(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/30(土)22:34:05.62 ID:4Ujjq2jv(17/17) AAS
>>531 補足
＞ 2. S は、空集合を始点として元を1つずつ追加していく数学的帰納法で証明可能な全属性を持つ。（カジミェシュ・クラトフスキ）
多分、公理的集合論と、素朴集合論の区別がついていない人が多いと思うが
公理的集合論で、”空集合を始点として元を1つずつ追加していく数学的帰納法で証明可能”
Zermeloの 可算多重シングルトン{・・・{}・・・}（>>549）
これは、”空集合を始点として元を1つずつ追加していく数学的帰納法で証明可能”ではない
無限公理の適用を必要とするのだ
省2
612(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/06(金)07:56:31.62 ID:eTcHIROk(2/3) AAS
参考
外部ﾘﾝｸ:en.wikipedia.org
Axiom of infinity
(抜粋)
It was first published by Ernst Zermelo as part of his set theory in 1908.[1]
References
[1] Zermelo: Untersuchungen uber die Grundlagen der Mengenlehre, 1907, in: Mathematische Annalen 65 (1908), 261-281; Axiom des Unendlichen p. 266f.
省21
794(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)15:20:01.62 ID:BvQtIPz4(5/5) AAS
>>783 補足
(>>420より)
<Zermelo構成>
外部ﾘﾝｸ:ja.wikipedia.org
自然数
(抜粋)
形式的な定義
省23
796: 2019/12/15(日)15:37:01.62 ID:PRdnkv5o(11/16) AAS
＞ωに相当するシングルトンの存在を否定したければ、
＞別の理論を持ってこい ｗ！！ｗ
＞（そんな理論はありませんｗｗ）
ωがシングルトンだと主張したければ
ωが後続順序数であること、すなわち
｛ｘ｝＝ωとなるｘを持ってこいｗ！！ｗ
（そんな順序数はありませんｗｗ）
884(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/19(木)00:05:29.62 ID:CZu9Myu4(1/2) AAS
>>883
お疲れです
おサルの相手、ご苦労さまですｗ（＾＾；
941: 2019/12/20(金)20:54:22.62 ID:ylfrCRaM(7/10) AAS
>>939
首掻き切って死ねよ馬鹿野郎
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.044s