well-ordering theorem

[计] 良序定理

Examples