「再帰的定義」の版間の差分

'''再帰的定義'''（Recursive Definition）は、[[再帰]]的な定義、すなわち、あるものを定義するにあたってそれ自身を定義に含むものを言う。[[無限回帰]]を避けるため、定義に含まれる「それ自身」はよく定義されていなければならない。[[同義語]]として'''帰納的定義'''（Inductive Definition）がある。