If we consider the order relation (N, <), we obtain complete induction, and course-of-values recursion.
如果我们考虑序关系 (N, <)，我们就得到一个完全归纳法和一个（course-of-values recursion）。