再帰的定義（Recursive Definition）は、再帰的な定義、すなわち、あるものを定義するにあたってそれ自身を定義に含むものを言う。無限後退を避けるため、定義に含まれる「それ自身」はよく定義されていなければならない。同義語として帰納的定義（Inductive Definition）がある。循環定義との違いは、再帰的定義にはその定義を使わずに定義される基本となるケースが存在することである。その他のケースの定義は、基本のケースにより近い定義によって定義されなければならない。例として素数の定義を示す:整数 2 がこの場合の基本ケースである。それより大きい整数 "X" が素数かどうかを判定するには、X と 2 の間の全ての整数について素数かどうかを知っている必要がある。しかし、そのような整数は X よりも基本ケースの 2 に近い。対照的に循環定義には基本ケースがなく、単に自身で自身を定義しているにすぎない。これが悪循環を生む。従って「再帰的定義: "再帰的定義"を参照」という記述は循環定義であって再帰的定義ではない。再帰的定義は論理学やコンピュータプログラミングでよく見受けられる。例えば整論理式(WFF)は次のように定義される:このような再帰的定義を使って、ある記号列が整論理式であるかどうかを判定することができる。

出典:wikipedia