[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
681(1): 06/22(日)00:29 ID:2CwzH8ni(1) AAS
無限集合を内包表記（性質を満たすものを要素として集めて集合を定義する）
するためには、洗濯公理が要りますか？
682(1): 06/22(日)07:46 ID:e5q/Q8+J(1/4) AAS
>>681
ご苦労さまです
・内包表記には、下記”分出公理図式（内包公理図式）”あるいは”置換公理図式”を使うようです
・洗濯公理は、選択公理とも書かれるようですが、ＺＦ公理系の中では整列可能定理と同等だとか
なので、内包表記には 洗濯公理は不要のようですね
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
省20
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s