24/11/24 14:56:53.93 pyyDnAPQ.net
>>544-545
箱入り無数目の代表の集合は、definableではない!!w ;p)
だから
固定することは不可能だと
>>542より ”no Vitali set is definable”(>>529) ヴィタリ集合は、definableではない
”Axiom of Choice is regarded as a non-constructive statement, so we do not have an algorithm or something like that in order to properly “construct” the Vitali set. We only use the Axiom of Choice to assert its existence, and that’s all.”by Samuel Gomes da Silva Ph.D.
あなた "固定,固定,固定だぁ!"
But by Samuel Gomes da Silva Ph.D. "We only use the Axiom of Choice to assert its existence, and that’s all.”
固定できないんじゃないの?www