上的递归给出了原始递归。如果我们考虑序关系 (N, <)，我们就得到一个完全归纳法和一个（course-of-values recursion）。命题 (N, <) 是良基的也被称为良序原理。还有其他一些令人感兴趣的良基归纳的例子。当良基关系是通常的序数上的序关系，那么对应的归纳法是超限归纳法；当良基集合是递归定义的数据结构，那么对应的归纳法称为结构归纳法；当良基关系是全类上的集合成员关系，对应的归纳法称为∈-归纳法。请参阅相关主题的论文来获得更多的细节。
例子.下面给出一些是