归纳构造是数学归纳法的一种变体. 其大致想法是, 假设以下两点:
•
首先, 有一个数学对象 X0.
并且, 对自然数 n, 若对象 Xn 已经被构造出来, 我们有一种方法能从 Xn 构造出 Xn+1.
那么, 我们就同时对所有自然数 n, 构造出了数学对象 Xn.