[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
684(5): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/07(土)22:23 ID:H2e5WMAT(14/14) AAS
>>680 補足
(引用開始)
で、無限公理を認めることで、無限集合の存在が導かれる
それが、一行目の
「集合 ｛0、{0}、{{0}}、・・・、{・・{0}・・}n重、・・・｝が無限集合なら」
ってことだよ
（ くどいが、無限公理を認め 無限公理が適用されることで、
省24
685: 2019/12/07(土)22:31 ID:uZFmzNJe(26/27) AAS
>>684
＞無限公理から、無限集合ができて、
＞∈列の無限長列を構成する
誤り というより 嘘
無限集合からの無限下降列は構成できない
任意有限長の無限降下列が構成できるだけ
686(1): 2019/12/07(土)23:01 ID:uZFmzNJe(27/27) AAS
>>684
＞正則性公理は、真の無限降下列を禁止にするが
「真の」は要りません 無限降下列は正則性公理と矛盾します
ノイマン構成のω={{},{{}},{{},{{}}},…}でも、
ツェルメロ構成のΩ={{},{{}},{{{}}},…}でも、
無限降下列は存在しません
＞シングルトンの無限列の存在を否定し
省5
688: 2019/12/07(土)23:21 ID:DlHZa83T(6/7) AAS
>>684
>無限公理から、無限集合ができて、
>∈列の無限長列を構成する
0∈1∈2∈… は∈無限上昇列な
>それは、正則性公理には反しない
無限重シングルトン {{…}} は∈無限降下列ができるので正則性公理に反します。
バカですか？
689: 2019/12/07(土)23:23 ID:DlHZa83T(7/7) AAS
>>684
真の無限降下列ではない無限降下列の例まだ？
690(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/08(日)08:30 ID:lCvi6NdQ(1/2) AAS
>>686
>「有限重シングルトンの全体からなる無限集合」を
>「シングルトンの無限列」と誤読した
１．無限公理を適用して、全ての後者関数を含む無限集合の存在を認める
２．そうすると、無限集合はできるが
このままでは、過剰な後者を含んでいる
欲しいのは、ジャスト自然数の集合N
省7
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s