超限归纳法（）是数学归纳法向（大）良序集合比如基数或序数的集合的扩展。
超限归纳.假设只要对于所有的 β < α，P(β) 为真，则 P(α) 也为真。那么超限归纳告诉我们 P 对于所有序数为真。就是说，如果 P(α) 为真只要 P(β) 对于所有 β < α 为真，则 P(α) 对于所有 α 为真。或者更实用的说：若要证明所有序数 α 都符合性质 P，你可以假定它对于所有更小的 β < α 已经是成立的。通常证明被分为三种情况：留意，以上三种情况(证明方法)都是