19/02/03 15:40:55.23 BnDtX2yP.net
>>853
おれの証明は過去スレに書いただろ？
同値類の分類を実行して、
その分類実行過程で、
もとの集合の元が、どの同値類の族に入るか記録していく
こうすれば、
同値類族の分類と同時に、
同値類の族から、その代表の族に対する
選択関数が出来上がっているよ
なので、同値類から代表を選ぶのに、選択公理が必要なら
同値類族の分類にも、選択公理が必要さ
19/02/03 15:40:55.23 BnDtX2yP.net
>>853
おれの証明は過去スレに書いただろ？
同値類の分類を実行して、
その分類実行過程で、
もとの集合の元が、どの同値類の族に入るか記録していく
こうすれば、
同値類族の分類と同時に、
同値類の族から、その代表の族に対する
選択関数が出来上がっているよ
なので、同値類から代表を選ぶのに、選択公理が必要なら
同値類族の分類にも、選択公理が必要さ