[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
706(3): 2019/12/08(日)16:05 ID:qHcJ5sAq(2/2) AAS
トリップコピペするのすらめんどい。
スレ主以外のトリップはともかくスレ主で特定できるからいいでしょ？
おそらくスレ主が無限公理云々いうのは
・Neumann流の順序数を構成するには無限公理が必要だ。
・無限公理にはどうやらNeumann流とZermelo流のふたつあるらしい。
・なのでとりあえずZermelo流の無限公理よりってかいておくとそれらしくなるっぽい。
くらいの認識しかないんだろう。
省7
707: 2019/12/08(日)16:42 ID:9rv1hojT(11/14) AAS
>>706
＞コピペするのすらめんどい。
じゃ、ここに書くの面倒でしょ 辞めたら？
◆e.a0E5TtKEは「主」を尊称だと思ってるのでいい気になって使ってます
◆e.a0E5TtKEを喜ばせるのは面白くないので決して使いませんね
708: 2019/12/08(日)16:46 ID:9rv1hojT(12/14) AAS
>>706
＞・Neumann流の順序数を構成するには無限公理が必要だ。
まず有限順序数（＝自然数）なら無限公理は必要ありません
最初の超限順序数を構成するためには必要ですがね
＞・無限公理にはどうやらNeumann流とZermelo流のふたつあるらしい。
次者関数を入れ替えるだけですがね
＞・なのでとりあえずZermelo流の無限公理よりってかいておくとそれらしくなるっぽい。
省4
709: 2019/12/08(日)16:49 ID:9rv1hojT(13/14) AAS
>>706
＞Zermelo流の正しいZ(ω)の構成には無限公理が必要だけど
＞もちろん証明が理解できていないスレ主には、
＞なぜ必要なのかも理解できていない。
◆e.a0E5TtKEは、そもそも無限公理の式すら知りませんよ
彼は論理式が読めない「式盲」ですから
＞それが理解できていれば、この段階で別に話を
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s