formale Regeln, die aus einer gegebenen Menge von logischen Ausdrücken in syntaktischer Weise neue Ausdrücke erzeugen (siehe auch Deduktion, formaler Beweis).

Sinnvolle Ableitungsregeln sind so gestaltet, daß sie die Gültigkeit vererben, d.h., daß aus wahren Voraussetzungen nur wahre Behauptungen erzeugt werden können, und daß sie (nach Möglichkeit) das inhaltliche mathematische Beweisen vollständig durch Anwendung formaler Regeln charakterisieren.