19/01/25 19:25:03.28 arcY11Uy.net
>>782
>時枝で冒頭に、
>”私が実数を入れる. どんな実数を入れるかはまったく自由”
>とあるよね
>で、私は、ああ「選択公理を仮定している」ねと読んだけど
誤り そこに選択公理は必要ない
>Ｑ１）選択公理を使わずに何を使う？
何も使わない
>Ｑ２）選択公理を使わずにＲ中の任意の元が選べることを証明せよ
証明の必要はない
>なんのための選択公理なんだろうかね、まったく
そもそも選択公理を誤解している
(非可算）無限個ある同値類から
それぞれ１個の代表元がとれる
というのが（非可算）選択公理