Definition:Hilbert Proof System

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

Their characteristics include:

Specific instances may deviate from this general scheme at some points.
 * The presence of many axioms;
 * Typically only Modus Ponendo Ponens as a rule of inference.

Examples in Predicate Logic

 * : Instance 1