[過去ﾛｸﾞ]
現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
現代数学の系譜 カントル 超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
704: １３２人目の素数さん [sage] 2019/12/08(日) 11:43:51.55 ID:qHcJ5sAq >>703 無限公理についてZermelo晩とNeumann版が同値であるのはいい。 数学をちゃんと勉強した人間ならまぁ何分か考えたらわかる。 なのでいちいち照明しなくてもいい。 問題なのはスレ主がそれをわかってないという所。 特に今問題になってるのはスレ主のΩがほんとに通常のZFCで定義できるか議論してるんだから、 なにが公理で無条件に認めていいのか、何が定理で証明しないといけないのかは通常の状況より厳しく問われている。 ということを何一つ理解できていない。 彼にとって公理も定理もクソもないんだろう。 http://rio2016.5ch.net/test/read.cgi/math/1570237031/704
705: １３２人目の素数さん [] 2019/12/08(日) 15:09:05.42 ID:9rv1hojT >>704 ◆e.a0E5TtKEのΩはシングルトンだそうですから無限集合ではありません したがって無限公理は関係ないですね ちなみに正しいツェルメロのΩは無限集合だから無限公理が必要です あと「彼」のことは当人以外は◆e.a0E5TtKEと呼びます 個人特定のためにわざわざトリップをつけた「好意」を 十二分に活用いたしましょう http://rio2016.5ch.net/test/read.cgi/math/1570237031/705
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s