Hilbert-style deductive systems

Hilbert-style deductive systems are axiomatic proof systems in mathematical logic that use a small set of axiom schemas and a few inference rules (typically including modus ponens) to derive theorems in formal theories such as Zermelo–Fraenkel set theory.

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.