"，我们可以通过满足 "y R x" 的 "G"("y") 的值来定义 "G"("x")。最为一个例子，考虑一个良基关系 (N, "S")，此处 N 为自然数集合，且 "S" 是后继函数 "x" → "x"+1 的图像。"S" 上的归纳就是通常的数学归纳法，而 "S" 上的递归给出了原始递归。如果我们考虑序关系 (N, <)，我们就得到一个完全归纳法和一个（course-of-values recursion）。命题 (N, <) 是良基的也被称为良序原理。还有其他一些令人感兴趣的良基归纳的例子。当