Definition:Hilbert Proof System

Definition
Hilbert proof systems are a class of proof systems for propositional and predicate logic.

Their characteristics include:


 * The presence of many axioms;
 * Typically only Modus Ponendo Ponens as a rule of inference.

Specific instances may deviate from this general scheme at some points.