[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
127(3): 2019/10/06(日)09:49 ID:Gc2q5hFd(1/4) AAS
>>110
> で、N＝{Φ, {Φ}, {{Φ}}, …}で、自然数の集合Nができるけど
> 無限公理で最初は、Nよりも大きな集合ができるんですよね、確か（下記wiki）
>
> それを、最小の無限集合に絞って小さくする操作が必要です
> 最小の無限集合に絞った結果、Nには有限の元ｎしか含まれないものができる
>
省17
133: 第六天魔王 ◆y7fKJ8VsjM 2019/10/06(日)09:56 ID:zyaquwkF(8/9) AAS
>>127
>もしΩの存在も示せるというなら示してください。
>それ以前にまずΩを定義して下さい。
まあ、しかし、馬鹿には無理だろう
なぜツェルメロの自然数構成法が放棄されたか
馬鹿には死んでも理解できまい
要するに(超限順序数への）拡張性がなかったわけだな
195(1): 現代数学の系譜?雑談 ◆e.a0E5TtKE 2019/10/07(月)16:08 ID:ez50Rnmf(2/3) AAS
>>194
(引用開始)
1) 無限上昇列が正則性公理に反しないでしょ？
そんな事私は主張した事ないですよ？
2) もちろん認めてますよ？というか私自身が可能である事の証明載せましたけど？
(引用終り)
なるほど、ID:Gc2q5hFdさんの >>127 のことですかね
省18
210(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/08(火)07:22 ID:3SQHWkr4(2/5) AAS
>>207
>> つまり、Nは全ての有限の元を含むので、
>Nが全ての有限集合を含むわけないでしょ？
？
あなたは、>>127で
(引用開始)
ω' を
省23
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.046s