Hilbert System

An axiomatic proof framework that establishes derivations by applying a small fixed set of axiom schemata together with modus ponens (and often substitution) as primary inference rules, emphasizing compact axiomatisation over granular rule meaning.