>>623
>自然数の集合Nからの選択は、選択公理でいえば 集合族がただ1つ つまりは下記”Restriction to finite sets”の特殊例にすぎない
>だから、一つ1でも2でもご随意にだが
君は自然数全体の集合からその元をひとつ選択した。
では、選択関数全体の集合（空でないことは選択公理が保証）からその元をひとつ選択できないのはなぜ？