25/10/25 20:40:17.46 JPZQ4x3w.net
>>743
2. P(S)∖{∅} の濃度
S が無限集合である場合、P(S) は S より真に大きな濃度を持ちます（カントールの定理）。
∣S∣<∣P(S)∣ です。
S が無限集合であれば、P(S)∖{∅} は少なくとも非可算濃度を持ちます（∣S∣≥ℵ0 ならば ∣P(S)∣≥ℵ1 またはそれ以上）。
特に、任意の無限集合 S の整列可能性を示すためには、非可算個の集合族に対する選択関数が必要です。
3. 可算選択公理（CC）の限界
可算選択公理は「可算個の空でない集合族」に対してのみ、選択関数の存在を保証します。
つまり、添え字集合が N と全単射な集合族 {An}n∈N に対してのみ選択関数 f の存在を保証します。
P(S)∖{∅} の濃度は可算個を遥かに超えるため、可算選択公理の適用範囲外です。
ツェルメロの証明を実行するには、不可算個の集合族からの選択を可能にする完全な選択公理 (AC) が必要不可欠です。