19/04/29 00:27:39.23 qsStH+79.net
>>217
＞現実に出来ない点は、「同値類の決定」、「選択公理」も同様。
いみふｗ
「同値類の決定」？ 「代表系の決定」と言いたいなら、選択公理から代表系の存在が保証される。
存在されさえすれば時枝証明に事足りる。決定までは不要。理解が浅い。
「選択公理」？ 選択公理は仮定であって、実現出来るとか出来ないとかと何をトンチンカンなこと言ってるのか？
19/04/29 00:27:39.23 qsStH+79.net
>>217
＞現実に出来ない点は、「同値類の決定」、「選択公理」も同様。
いみふｗ
「同値類の決定」？ 「代表系の決定」と言いたいなら、選択公理から代表系の存在が保証される。
存在されさえすれば時枝証明に事足りる。決定までは不要。理解が浅い。
「選択公理」？ 選択公理は仮定であって、実現出来るとか出来ないとかと何をトンチンカンなこと言ってるのか？