21/09/22 13:01:29.92 y5o63vSb.net
>>421
> 選択公理は、非可算の完全代表系を選ぶときに使う
その後、例えばある一つの類の中で、その類の一つの要素と代表との比較で、決定番号が決められるから、
このときは、選択公理は不使用じゃね？
だから代表系が要るじゃん そのために選択公理も要るじゃん アホw
21/09/22 13:01:29.92 y5o63vSb.net
>>421
> 選択公理は、非可算の完全代表系を選ぶときに使う
その後、例えばある一つの類の中で、その類の一つの要素と代表との比較で、決定番号が決められるから、
このときは、選択公理は不使用じゃね？
だから代表系が要るじゃん そのために選択公理も要るじゃん アホw