20/02/11 13:20:49.16 6xY3HAGO.net
>>124
>そのような人が存在し得る、というのが選択公理です
そのような人の能力が、
・非可算の集合族からでも選ぶことが可能というのが、フルパワー選択公理
・可算の集合族からでも選ぶことが可能というのが、可算選択公理
・有限の集合族からでも選ぶことが可能というのが、有限選択公理（公理の取り方によっては、他の公理から証明できる場合もある）
20/02/11 13:20:49.16 6xY3HAGO.net
>>124
>そのような人が存在し得る、というのが選択公理です
そのような人の能力が、
・非可算の集合族からでも選ぶことが可能というのが、フルパワー選択公理
・可算の集合族からでも選ぶことが可能というのが、可算選択公理
・有限の集合族からでも選ぶことが可能というのが、有限選択公理（公理の取り方によっては、他の公理から証明できる場合もある）