rekursive Definition (Mathematik)

Form der Definition von Funktionen und Prädikaten, die in irgendeiner Weise von einem Argument oder einem n-Tupel von Argumenten aus dem Bereich der natürlichen Zahlen abhängen, durch Bedingungen (Regeln beziehungsweise Gleichungen), die es gestatten, den Wert des Definiendums (bei Funktionen den Funktionswert, bei Prädikaten den Wahrheitswert) für beliebige Argumente nach