Axiomatischer Beweis

Ein axiomatischer Beweis ist ein Beweis in einem axiomatischen Kalkül, das heißt ein Nachweis dafür, dass die zu beweisende Aussage alleine aus den Axiomen des jeweiligen Kalküls folgt. Jede Zeile eines axiomatischen Beweises ist entweder eine Einsetzungsinstanz eines Axioms oder das Ergebnis der Anwendung einer Schlussregel des jeweiligen Kalküls auf eine oder mehrere der vorangehenden Zeilen des Beweises.