The signature consists of a set of non-logical symbols and an identification of each of these symbols as a constant symbol, a function symbol, or a predicate symbol.
Підпис складається з набору нелогічних символів і ідентифікації кожного з цих символів як постійного символу, символу функції або символу предиката.