递归定义是数理逻辑和计算机科学中使用的一种定义方式，指通过引用被定义对象自身进行概念界定的方法，亦称归纳定义 。其核心是通过有限步骤构造数学对象或函数，包含初始条件、递归法则与递归结束的情况三个要素，典型应用如自然数集阶乘函数的定义 。
该定义由初始条件确定基础元素，递归法则通过现有元素生成新元素，通常表现为递推式。在命题逻辑中，合式公式通过原子公式初始定义及逻辑运算符组合规则递归构造 。为避免循环定义陷阱，必须设定有效基本情况确保逻辑有效性 。
递归定义思想源于数学归纳法，需同时具备初始值与递推关系，在递归算法设计中体现为递归出口与递归体结构。该方法通过函数调用栈实现递归过程，典型案例包括斐波那契数列与汉诺塔问题等 。
想要了解更多“递归定义”的信息，请点击：递归定义百科
