[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
59: 2019/10/05(土)15:46:12.91 ID:kZwmbLNI(26/44) AAS
>>53
＞外部ﾘﾝｸ:ja.wikipedia.org
＞極限順序数
”極限順序数は他にもいろいろなやり方で定義できる”のところで
引用するならまずここでしょう。読みましたか？
・最大元を持たない非零順序数。
「最大元を持たない」と書かれていますね
省5
194(2): 2019/10/07(月)15:17:51.91 ID:3bkiY8iJ(3/3) AAS
>>193
1) 無限上昇列が正則性公理に反しないでしょ？
そんな事私は主張した事ないですよ？
2) もちろん認めてますよ？というか私自身が可能である事の証明載せましたけど？
それと同じことをツェルメロ構成でも出来る事を示して下さいと言ってるんですけど？
551(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/30(土)22:01:06.91 ID:4Ujjq2jv(16/17) AAS
>>252
＞レーヴェンハイム-スコーレムの定理から導かれる結論の多くは、一階とそうでないものの違いがはっきりしていなかった20世紀初頭の論理学者にとっては直観に反していた。
>>502
＞ペアノの公理
＞(抜粋)
＞一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ。（レーヴェンハイム＝スコーレムの定理） 二階述語論理によって定式化することで、ペアノシステムを同型の違いを除いて一意に定めることができる[2]。
一階とそうでないものの区別がついていない者達が、無限だ有限だと喚くスレ
省3
698: 2019/12/08(日)09:40:26.91 ID:9rv1hojT(7/14) AAS
蛇足だが、Zermelo構成では
２Ω＝｛Ω、｛Ω｝、｛｛Ω｝｝、・・・｝
３Ω＝｛２Ω、｛２Ω｝、｛｛２Ω｝｝、・・・｝
Ω＾２＝｛Ω、２Ω、３Ω、・・・｝
Ω＾２＋Ω＝｛Ω＾２、｛Ω＾２｝、｛｛Ω＾２｝｝、・・・｝
２Ω＾２＝｛Ω＾２、Ω＾２＋Ω、Ω＾２＋２Ω、・・・｝
Ω＾３＝｛Ω＾２、２Ω＾２、３Ω＾２、・・・｝
省4
715: 2019/12/13(金)08:29:35.91 ID:O4JQP8Jj(1) AAS
確認なんだけどスレ主は分かってないし当面理解するつもりもないんだよね？
なんで自分が現時点わかってないものを "これがわかりやすいかも" とかの発言ができるん？
724(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/14(土)08:03:47.91 ID:s6Tab8iq(4/15) AAS
>>723
>累積hierarchyの最初のいくつかのレベルで作成された集合を調べることによって、または他の手段から、おそらく集合の構築のアイデアを検討することにより、集合が無限の降順シーケンスを持つことを期待しないと結論付けます
>x0∋x1∋x2∋x3∋x4∋…
>少なくとも、構築された集合の累積hierarchy内の集合については。
言いたいことは、単純で
無限の降順シーケンス
x0∋x1∋x2∋x3∋x4∋…
省11
731(1): 2019/12/14(土)09:14:48.91 ID:CsbquFhS(4/18) AAS
>>729
＞無限集合の公理によりできる集合 M には、自然数Nに余分な（過剰）要素が存在する
「存在する」と言い切った瞬間、トンデモになる
無限集合の公理を満たすいかなる集合にも存在する「過剰」要素があるなら
共通部分をとったところで排除できないから
つまり、「過剰」要素を全くもたないものがある
＞過剰要素は、有限の要素ではありえない
省15
791(1): 2019/12/15(日)14:47:05.91 ID:PRdnkv5o(7/16) AAS
>>784
＞１/∞＝0 は、可なんだけど
アウトｗ
そもそも∞が数じゃないから、1/∞は不可ｗ
リーマン球面上の写像1/zとしては
1/∞=0 で 1/0＝∞ である
しかし、リーマン球面上の点＝数 ではない
省3
842(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/17(火)10:33:58.91 ID:MhI4YabZ(1/4) AAS
>>820
＞正負の無限大。。。？
下記な
「別な方法で、実数直線に二つの端点を付け加えて得られる端コンパクト化は拡張実数直線 (extended real line) [?∞, +∞] と呼ばれる。」
（>>775より）
外部ﾘﾝｸ[html]:www.nippyo.co.jp
数学セミナー 2019年12月号
省13
916: 2019/12/20(金)07:57:52.91 ID:pVRKr0X7(2/7) AAS
おかしなＤＩＳcussionだけ頑張っちゃって、、、情けない・・・(;つД｀)
936(1): 2019/12/20(金)20:48:05.91 ID:TR6+oSjG(3/6) AAS
>Zermelo構成のΩは存在するが、シングルトンではない
これって前にも言ってたよね
まったくバカは人の話をまったく聞いてないな
だからバカのままなんだろう
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.713s*