>>495
ふっふ、ほっほw ;p)

 >>491より再録
要するに、 ”An essential point of this proof is that it involves only a single arbitrary choice, that of R;”
(”Well-ordering theorem”で 単語”choice”は、重要キーワードです)

”a subset of the real numbers that is not Lebesgue measurable can be proved to exist using the axiom of choice, it is consistent that no such set is definable.[8]”
(Axiom of choice Criticism and acceptance)

””Because there is no canonical well-ordering of all sets, a construction that relies on a well-ordering may not produce a canonical result”
(Axiom of choice Criticism and acceptance)

w ;p)