递归定义 递归定义是数理逻辑和计算机科学用到的一种定义方式使用被定义对象的自身来为其下定义简单说就是自我复制的定义递归定义与归纳定义类似但也有不同之处递归定义中使用被定义对象自身来定义而归纳定义是使用被定义对象的已经定义的部分来定义尚未定义的部分不过使用递归定义的函数或集合它们的性质可以用数学归纳法通过递归定义的内容来证明