20/02/13 21:30:03.21 li72tyeH.net
もう一点。
代表元を作ってくれる第3者がいないとき
あなたの言う"フルパワー"の選択公理は必要である。
なぜならば、100列に分けた中に
もし代表元が予め選ばれていない同値類に属する元があったら
解法は実行できないから。
したがって「どんなR^Nの元を出題されても解法が実行できる」
と言うためには、R^N/～のすべての同値類から
代表元が予め選ばれていることが必要。
20/02/13 21:30:03.21 li72tyeH.net
もう一点。
代表元を作ってくれる第3者がいないとき
あなたの言う"フルパワー"の選択公理は必要である。
なぜならば、100列に分けた中に
もし代表元が予め選ばれていない同値類に属する元があったら
解法は実行できないから。
したがって「どんなR^Nの元を出題されても解法が実行できる」
と言うためには、R^N/～のすべての同値類から
代表元が予め選ばれていることが必要。