>>143
＞可算集合の整列可能性（これは自明）
　そうだね
　一般に、順序数と同濃度な集合は当然整列可能である
　そして、整列可能定理というのは何をいってるのかといえば
　任意の集合は、必ず同濃度の順序数を持つ、ということである