This relation is understood in a comprehensive sense such that the primitive sentences of the formal system are taken as directly derivable from the empty set of sentences.
Это отношение понимается в том смысле, что элементарные (исходные, атомарные) предложения формальной системы берутся как непосредственно выводимые из пустого множества предложений.