[過去ﾛｸﾞ]
現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
現代数学の系譜 カントル 超限集合論他 3 http://rio2016.5ch.net/test/read.cgi/math/1595034113/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
248: １３２人目の素数さん [] 2021/08/21(土) 17:54:27.37 ID:RkttXagr >>247 ＞そもそもＢが存在するという証明がないんですが 分出公理は知ってますか？ 知ってればＢが存在することは直接わかりますが （分出公理はツェルメロの集合論では公理だったが ＺＦでは置換公理から証明できる定理である） ＞なんでべき集合に入っていると言えるんですか？ ベキ集合の定義、知ってますか？ Aのベキ集合は、Aの部分集合全体の集合です Bは定義からAの部分集合になることは明らかですから Aのベキ集合の要素ですね http://rio2016.5ch.net/test/read.cgi/math/1595034113/248
249: １３２人目の素数さん [] 2021/08/21(土) 17:57:39.03 ID:RkttXagr >>248の続き よく「証明がない！」とわめく素人がいますが 大体、定義とか公理がわかってないですね 定義や公理がわかっていれば、直接導けるのに「証明がない！」とわめいてますから こういうのは明らかに怠惰による不勉強ですね 恥ずかしくないんですかね？ http://rio2016.5ch.net/test/read.cgi/math/1595034113/249
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.027s