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.
Во сеопфатна смисла, овој однос се смета за таков што примитивните реченици на формалниот систем се сметаат за диреткно изведливи од празното множество реченици.