Definition
Signature ( First-Order Logic)
A signature specifies the non-logical symbols of a first-order language as a pair of disjoint sets:
: function symbols, including constants of arity . : predicate symbols. Each symbol has a fixed arity. A structure assigns interpretations to these symbols.
The countably infinite set
of variables is disjoint from . Variables and logical symbols, including equality, are not part of the signature.