Induktive Definition heißt eine Definition, die es ermögliche aus mehreren Ausgangsobjekten einer Theorie unter Verwendung bestimmter Operationen mit ihnen neue Objekte der Theorie zu konstruieren. Beispiele für solche Definitionen sind die Definitionen der Ausdrücke des Aussagen- und Prädikatenkalküls.