整列可能定理

(Theorem.)
$\forall S$(:Set),$\exists <$(:Order),such that $(S,<)$ is 整列集合.

(Proof.)