Hilbert-style deduction system

  1. REDIRECT Hilbert system