>>553
> いま Jechの証明 の任意集合Aが、ある集合の濃度を持つとしよう（ZFC内ではね）
　それ、論点先取
　問われてるのは、まさにある集合の濃度を持つかどうかだから
> そうすると、その濃度から決まる 順序数の上限が存在することが言えるだろう
> それは、任意集合Aの冪集合の濃度を超えない
> つまり、任意集合Aの冪集合の濃度によって押えられる
> 集合Aが持ちうる順序数の上限があるのでは？
　逆に上限がない場合、それは集合でない、と言えればいいんじゃね？