 Most variants of Hilbert systems take a characteristic tack in the way they balance a trade-off between logical axioms and rules of inference.Hilbert systems can be characterised by the choice of a large number of schemes of logical axioms and a small set of rules of inference.Systems of natural deduction take the opposite tack, including many deduction rules but very few or no axiom schemes.