The statement that (N, <) is well-founded is also known as the well-ordering principle.
命题 (N, <) 是良基的也被称为良序原理。