简介

归纳定义是基于数学归纳法的一种定义方法，用于定义全体自然数集上的函数。

例如，有一个定义城为 N的函数 f 需要定义。如果有某种可用的相对于全体自然数来讲是一致的方法，则可以利用这个方法来归纳地定义函数 f 。

步骤

具体的依据归纳定义的形式分为两步。

第一步: 定义 f(0) 的值;

第二步: 依据那种事先给定的一致方法，从依照假定已经有定义的 f(n) 的值出发，进一步来定义 f(n+1) 的值。

当这两步完成以后，就可以由数学归纳法确认f 在上已经定义好了。这里所要强调的是不会在定义过程中被改变的事先给定或者选定的那种一致方法的作用。如果没有那样的方法来保证，试图定义的对象可能不会作为一个函数而存在。

归纳定义的可靠性可以形式化为如下定理：设 X 为一非空集合，为一函数。则存在唯一的函数满足及对任意这里的函数 g 就是前面所说的那种事先给定或者选定的一致的方法。

在应用中，归纳定义的具体形式可以多种多样。像数学归纳法一样，归纳定义也有许多变种。例如，归纳定义更多地是用于定义序列而非函数(当然，严格地讲，序列也是函数)。另外，复杂的归纳定义往往和证明及其他构造交织在一起，而非简单地采用如上的标准形式。有时，出于某种原因，或是为了方便，归纳定义的第一步不是定义 f(0) 的值，而是对某个非 0 的定义 f(a) 的值，或是同时定义多个的值。又有时，归纳定义的第二步假定所有，的值都已有定义，而进一步由此定义的值。等等。

在集合论中，归纳定义的定义域通常形式上被认为是所有有穷序数的集合而非写作之所以会如此是因为数学归纳法的本质是利用了是一个秩序集的事实，并由此可以推广数学归纳法到一般的秩序集甚至有秩关系上。1

结构

基础条款：规定某些元素为待定义集合成员，集合其它元素可以从基本元素出发逐步确定 。

归纳条款：规定由已确定的集合元素去进一步确定其它元素的规则 。

终极条款：规定待定义集合只含有基础条款和归纳条款所确定的成员。

其中，基础条款和归纳条款称作“完备性条款”，必须保证毫无遗漏产生集合中所有成员。终极条款又称“纯粹性条款”，保证集合中仅包含满足完备性条款的那些对象。

归纳定理

简述

归纳定理，又称递归定理，是对归纳定义合理性的一个严格说明。