text: Herleitung und Beweis siehe Hauptartikel: Ableitung (Logik) Eine Herleitung ist eine Liste von aufsteigend nummerierten Sätzen, die mit einer oder mehreren Annahmen (den Prämissen der Herleitung) oder Axiomen beginnt.