>>729より
>可算集合の整列が、可算選択公理で出来るって
>考え無しのオオボケかましたのを正当化しようってか？

Aが可算⇔全単射f:N→Aが存在する。
∀n,m∈N.n<m⇔f(n)<f(m) によって(A,<)を定義したとき、∀B⊂A.f(minf^(-1)(B))=min<B∈B だから、Aは整列集合。

はい、雑談ザルの持論は独善妄想であることが証明されますた。残念！