结构归纳法是应用在数理逻辑、计算机科学、图论和一些其他数学领域中的一种证明方法（比如Los's定理的证明）。它是一种特殊化的数学归纳法。

通常，它用来证明一些命题P（x），x是一些递归定义的结构（例如树和表）中的一种。一个良基偏序是定义在这种结构上的。结构归纳法的证明是由证明命题对于所有的极小结构成立，以及如果他在一个结构S的基础结构中成立，那幺它一定也在整个S中成立这些组成。比如，如果一个结构是个这样一个表，含有偏序'<'，只要表L在表M的尾部，那幺L < M。在这样的排序中，空的list[ ]是唯一的最小元素。结构归纳法中，一些命题P（l） 的证明由两个部分组成：

Structural induction is a proof method that is used in mathematical logic (e.g., in the proof of Łoś' theorem), computer science, graph theory, and some other mathematical fields. It is a generalization of mathematical induction over natural numbers, and can be further generalized to arbitrary Noetherian induction. Structural recursion is a recursion method bearing the same relationship to structural induction as ordinary recursion bears to ordinary mathematical induction.