[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (802ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
4(7): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/05(土)10:05 ID:JrhjRl4x(4/46) AAS
さて、>>1に関連した議論の続きです
現代数学はインチキのデパート より
2chｽﾚ:math
どうも、ガロアスレのスレ主です（＾＾
昨日のID:4Fu/lmU2さん（>>21）と
今日のID:kZwmbLNIさん（>>25）と
が、同一人物かどうか？ それが分からない
それと、二つのIDの中に、私がガロアスレで論争していた人がいるかどうか？
一応、ここでは、二つのIDは同一人物で、私がガロアスレで論争していた人とは別人という前提で対応します
（そのうち分かってくるかも知れませんが。ああ、（>>28）「私はサル石ではありません」と書かれましたね）
なお、議論の前提として、ある程度、標準的に認められている現代数学の成果
テキストや、ウェブサイトにある、現代数学の成果は認めるものとしましょう
（そうしないと、全てを公理からの構成や厳密な証明を求めるようなことをすると、余白が足りない（時間も足りない））
さて、論点を整理しましょう
（>>3より）
１）正則性公理(>>16)は、無限下降列である x∋x1∋x2∋・・・ を禁止する
（が、無限上昇列を禁止するものではない）
なお、無限上昇列から、ノイマン構成により自然数N＝ωの構成が認められる
２）ツェルメロ構成で、{{…{}…}}（{}の多重無限）が考えられるが、正則性公理に反するか？
で、
１）正則性公理において、>>17に示した ノイマン構成の∈の2項関係の列について
0∈1∈2∈3∈・・・∈n∈n+1・・・ ∈N＝ω
これは、正則性公理には反しないまでは合意（>>23-24）できましたね
つづく
上下前次1-新書関写板覧索設栞歴
あと 798 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s