well-ordering principle

正序原理