>>811
>選択公理とは その生成する列の長さで測ることができる
>ω丁度が可算選択公理
はい、大間違いです。
任意の可算集合が整列集合であることは定義から自明なのでいかなる選択公理も不要。
実際、自然数全体の集合Nから可算集合Xへの全単射 f:N→X が存在するから、X上の順序<を f(0)<f(1)<・・・ で定義すればよい。
サルってほんと馬鹿だね。