>>146 補足
(引用開始)
(参考)
en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem
(引用終り)

この整列可能定理の系を思いついたので、書いておく
　>>203の集合Tとその元 s1,s2,s3 ・・・∈T の表記を借用する

＜整列可能定理の系（冒頭 有限個は任意）＞：
可算無限以上の濃度とする集合Tに対して、整列可能定理を認めるとする
このとき、冒頭有限個の元の整列 s1,s2,s3 ・・・snは、任意で良い
証明
Tの部分集合で、任意n個の集合{s1,s2,s3 ・・・sn}を考え、T'＝T＼{s1,s2,s3 ・・・sn}とする
Tの整列で冒頭の列として
s1,s2,s3 ・・・sn を取る
残り、T'に対し 整列可能定理により列
s'1,s'2,s'3 ・・・ ∈T' を作る
s1,s2,s3 ・・・sn,s'1,s'2,s'3 ・・・ と書ける
付番をやり直して
s1,s2,s3 ・・・sn,sn+1,s+2,s+3 ・・・ と書ける
これは、集合Tの整列であり、冒頭{s1,s2,s3 ・・・sn}は任意に取れる！■