[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
682(1): 06/22(日)07:46 ID:e5q/Q8+J(1/4) AAS
>>681
ご苦労さまです
・内包表記には、下記”分出公理図式（内包公理図式）”あるいは”置換公理図式”を使うようです
・洗濯公理は、選択公理とも書かれるようですが、ＺＦ公理系の中では整列可能定理と同等だとか
なので、内包表記には 洗濯公理は不要のようですね
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
省20
683(1): 06/22(日)08:23 ID:Y+ibteSC(1/6) AAS
>>682
>・内包表記には、下記”分出公理図式（内包公理図式）”あるいは”置換公理図式”を使うようです
じゃあ ∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} の∩の対象が不明確とか文句付けたのはなんなの？ ただの言いがかり？ 君はチンピラかい？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s