 Hilbert system

In logic, especially mathematical logic, a Hilbert system, sometimes called Hilbert calculus, Hilbert-style deductive system or Hilbert–Ackermann system, is a type of system of formal deduction attributed to Gottlob Frege and David Hilbert.These deductive systems are most often studied for first-order logic, but are of interest for other logics as well.