>>709
> P'の部分集合 として 集合族 A-{aξ:ξ<α} を取り出すところは、置換公理が使える
 そこはどうでもよろしい

 aα=f(A-{aξ:ξ<α}) と定義したのだから
 aに先立ってfの定義が必要
 fの定義域がaでつくられるとか完全な循環論法
 
 この簡単な事実が、●ルには分からない