24/03/01 18:07:43.39 labu7Q3D.net
>>455
「どう」というのが、具体的な手順を指しているのなら、そんなものは示されていない
数学的には選択関数が存在するといえば、それで終わり それが数学
（箱入り無数目より）
「～は R^N を類別するが，各類から代表を選び」
ここで選択公理による選択関数を使っている
24/03/01 18:07:43.39 labu7Q3D.net
>>455
「どう」というのが、具体的な手順を指しているのなら、そんなものは示されていない
数学的には選択関数が存在するといえば、それで終わり それが数学
（箱入り無数目より）
「～は R^N を類別するが，各類から代表を選び」
ここで選択公理による選択関数を使っている