>>606
上限とは上界全体の集合の最小元のこと。
よって|sup{α|aα is defined}|=|A|でなければならない。
一方|P(A)|>|A|だから、
>3)sup{α|aα is defined}の部分は、集合Aの濃度から決まる上限 Aの冪集合P(A)の濃度を超えないので
> 証明が終わる■
は大間違い。