Hilbert-style deduction system

Redirect to:

  • Axiomatic system (logic)