Formal Systems and Proofs
0/72 solved1 / 72
Each question is graded on a single answer: a check that this chapter's methods work, not a test of the reasoning behind them.
The Hilbert system is specified by a list of axiom schemas together with modus ponens. How many axiom schemas does have?
Your answer
form-deduction-11All Mathematical Logic chapters