>>666-667
御託は並べなくていいよ
なんで656に書く時、下の二行削ったの？
それで必要な情報が全部抜けたんだけど　おまえ●●？

"Let A be a set. To well-order A, it suffices to construct a transfinite one-to-one sequence （aα: α < θ) that enumerates A.
That we can do by induction, using a choice function f for the family S of all nonempty subsets of A."