遞歸定義

遞歸定義是數理邏輯和計算機科學用到的一種定義方式 ， 使用被定義對象的自身來爲其下定義 （ 簡單說就是自我複製的定義 ） 。 遞歸定義與歸納定義類似 ， 但也有不同之處 。 遞歸定義中使用被定義對象自身來定義 ， 而歸納定義是使用被定義對象的已經定義的部分來定義尚未定義的部分 。 不過 ， 使用遞歸定義的函數或集合 ， 它們的性質可以用數學歸納法 ， 通過遞歸定義的內容來證明 。