结构归纳法 结构归纳法是应用在数理逻辑计算机科学图论和一些其他数学领域的证明方法比如Łoś定理的证明是一般化的数学归纳法 数学归纳法仅仅定义在自然数上 其通常用来证明一些命题 Pxx 是递归定义结构例如树和表的一种良基偏序是定义在这种结构上的结构归纳法的证明是由证明命题对于所有的极小结构成立以及如果他在一个结构 S 的基础结构中成立那么其一定也在整个 S 中成立这些组成比如如果一个结构是个这样一个表含有偏序 只要表 L 在表 M 的尾部那么 L  M在这样的排序中空的 list  是唯一的最小元素结构归纳法中一些命题 Pl 的证明由两个部分组成 证明 P成立 如果 PL 在表 L 中成立 如果 L 是表 M 的底部 那么 PM 也成立