19/01/25 08:47:55.68 nSust6QQ.net
>>770
＞「代表を決めるところだけで選択公理を使っている」
は間違い。但しスレ主の言ってるのとは全然違う意味で。
代表系は決められない。存在が示されるのみ。しかし時枝成立にはそれで十分。
＞（繰返すが、最初にRから実数を入れるところで、
＞なにがしかの選択公理類似の公理が必要であって、
間違い。
反例：s_n=0 for ∀n∈N で無限個の箱に実数を入れられる。
より一般には f:N→R を構成可能か？という問題。構成可能だからスレ主は間違い。