induktive Definition (mathematischen Logik)

induktive Definition, in der mathematischen Logik die Definition eines Prädikats (Eigenschaft) P durch Angabe bestimmter Objekte, für die P zutrifft, und durch Angabe bestimmter Operationen, die bei Anwendung auf Objekte, für die das Prädikat P zutrifft, nicht aus dem Bereich des Prädikats P hinausführen; z. B. die induktive