>可算の整列可能定理→可算選択公理については、
>”整列可能定理→選択公理”の証明を参考にすれば、
>容易でしょう

ダメでしょｗ
集合族が可算集合だからといって、
集合族に属する各々の集合が可算集合とは限らんのだから

なんか根本的に分かってないねえ
大学１年の微積と線型代数の最初の定義のところから落ちこぼれたおサルさんは