Direct derivability is a relation between a sentence and a finite, possibly empty set of sentences.
Непосредственная выводимость — отношение между предложением и конечным, возможно пустым, множеством предложений.