Definition
Derivability
Derivability is the relation
holding iff there exists a derivation of the formula
from the set of assumptions in the calculus . Write
for . Omit when the calculus is fixed. Unlike entailment (
), derivability concerns permitted inference steps, not truth in every model.