The traditional approach is to have only one, infinite, set of non-logical symbols (one signature) for all applications.
V tradičním přístupu máme pouze jednu nekonečnou množinu mimo-logických symbolů (jednu signaturu) pro všechny aplikace.