Hilbert-System

Ein axiomatisches Beweisframework, das Ableitungen durch Anwendung einer kleinen festen Menge von Axiomenschemata zusammen mit Modus Ponens (und oft Substitution) als primäre Inferenzregel etabliert; es betont kompakte Axiomatisierung gegenüber granularer Regelbedeutung.