- 801 名前：１３２人目の素数さん [2019/03/02(土) 14:30:04.64 ID:zfcrpGQP.net]
- >>726
＞無限集合を扱うため
＞「選択公理は超絶技巧なのであり, その武器を使用することを許した」ってことですよ！（＾＾
そういう概念的な捉え方では理解できませんよ。
きちんと選択公理のステートメントを確認しなさい。
＞私の処方箋は、>>722ですよ（＾＾
＞ZFC公理系で、無限集合の操作を主に受け持っているのが、選択公理なのだ
操作とは？ 操作を主に受け持つとは？
きちんと選択公理のステートメントを確認しなさい。当てずっぽうで言ってもダメ。
＞選択公理は、確かに、選択関数で規定されているが、
はあ？
＞等価な命題も多数ある
等価？同値ね。
＞かつ、数学的帰納法とも関連している
はあ？
＞選択公理＝選択関数 と短絡的に考えるべきではない
誰が考えたの？
選択公理の主張は「直積が空でない」すなわち「選択関数が存在する」ですよ？
「それが存在すること」と「それが何であるか」は全く別の話ですよ？大丈夫ですか？
