[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
662(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/21(土)09:57 ID:sEkgudR9(2/7) AAS
>>657 補足
・天地創造 外部ﾘﾝｸ:ja.wikipedia.org
1日目神は天と地をつくられた ・・・ 6日目神は獣と家畜をつくり、神に似せた人をつくられた 7日目神はお休みになった
・さて、やろうとしていることは 公理的集合論による カントールの順序数などの構築だ
1日目 神は空集合を作られた
2日目 後者関数を作られた
3日目 有限順序数を作られた
4日目 無限公理を作られた。そこから、最初の無限順序数ω （極限順序数）を分離された ＊）
5日目 ωから、カントールの順序数構築された
6日目 ノイマン宇宙 外部ﾘﾝｸ:ja.wikipedia.org
を作られた。そこには、実数も含まれる。人は、∩も無限集合に対して使えるようになった
7日目 数学の神はお休みになった
＊）4日目の 無限集合が無限公理で導入された直後に∩を使うのは、如何なものか
時期尚早でしょう （＾＾
目指しているのは、そこで 結論も正しいのだが
公理的に一歩一歩進んでいこうという話だから、先を急ぎすぎてはいけないってことだね ；ｐ）
663(1): 06/21(土)10:13 ID:vzkn7e2Y(7/17) AAS
>>662
ZFとZF上での自然数の構成がごっちゃになってる。
だから
>＊）4日目の 無限集合が無限公理で導入された直後に∩を使うのは、如何なものか
などと意味不明なことを口走る。
ゼロ点。落第。
ちなみに
> 2日目 後者関数を作られた
後者関数を定義するには対の公理と和集合の公理が必要。
オチコボレがなに勝手に持論述べてんだよ。オチコボレにそんな権利は無い。黙って勉強しろ。
664: 06/21(土)10:25 ID:vzkn7e2Y(8/17) AAS
>>662
>・さて、やろうとしていることは 公理的集合論による カントールの順序数などの構築だ
順序数の定義も知らんのか？
外部ﾘﾝｸ:ja.wikipedia.org
に書かれてるから読めよ 読まずに妄想するから落ちこぼれるんだよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.049s