[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
574(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/03(火)00:04 ID:BRqy0upZ(1/4) AAS
>>568 補足
外部ﾘﾝｸ:ja.wikipedia.org
自然数
より
Zermelo 構成（0 := {}, suc(a) := {a} と定義）
0 := {}
1 := {0} = {{}}
省42
575(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/03(火)00:09 ID:BRqy0upZ(2/4) AAS
>>574
つづき
ノイマン 構成から、Zermelo 構成を抽出する集合の操作は
分出公理を使えば可
外部ﾘﾝｸ:ja.wikipedia.org
公理的集合論
(抜粋)
省5
579: 2019/12/03(火)06:20 ID:2OK0+uPO(2/6) AAS
◆e.a0E5TtKEが
「{}∈{{}},{{}}∈{{{}}} だから {}∈{{{}}}」
につづく馬鹿発言をやらかしたｗ
>>574
＞ノイマン 構成から、一番右の要素のみを残して、
＞他の元を抜くと、Zermelo 構成になる
ギャハハハハハハ ハハハハハハハ！！！
省5
583(2): 2019/12/03(火)18:31 ID:y1kRHc8p(2/3) AAS
>>574
＞ノイマン 構成から、一番右の要素のみを残して、
＞他の元を抜くと、Zermelo 構成になる
これって時枝問題で無限列に最後の項があるって言ってたのと同じ間違いだね。
有限と無限の違いが決定的に分かってない。
592(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/04(水)14:04 ID:vhgyVZ6r(2/7) AAS
>>574 補足
１．言っていることは簡単なことで
各ｎについて、Zermelo 構成とノイマン 構成は、一対一に対応する
２．のみならず、お互いに変換できる
ノイマン 構成から、不要な要素を抜けば、Zermelo 構成になり
Zermelo 構成から、要素を追加していけば、ノイマン 構成になる
３．例えば、
省13
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s