[過去ﾛｸﾞ] なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
241(3): 2024/12/04(水)20:17 ID:6kU3F8DK(12/18) AAS
>>236
外部ﾘﾝｸ:wiis.info
（引用開始）
選択公理を認める場合、それぞれの全順序部分集合A⊂Xに対して、Aの狭義の上界f(A)∈Xを像として定める選択関数fの存在を保証できます。
つまり、全順序部分集合A⊂Xを任意に選んだとき、それに対して選択関数fが定める値f(A)∈Xは、以下の条件
∀x∈A：x<f(A)
を満たすということです。
（引用終了）
上記通り、選択公理で言えるのは選択関数の存在だけなのに対して、fという選択関数をひとつ固定して論理式の中で使ってますけど？
これが存在例化ですけど？
分らないんですか？ 馬鹿ですね
上下前次1-新書関写板覧索設栞歴
あと 761 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.009s