良序原则

well-ordered principle