# Constant

A symbol of a formal language for denoting some fixed element (individual), a fixed operation or relation on some structure described by this language. In this connection one distinguishes between individual constants (cf. Individual constant), function constants and predicate constants. The set of constants of a language is called the signature of this language. For example, in one presentation, the signature of the language of formal arithmetic (cf. Arithmetic, formal) may consist of the individual constant "$0$" (zero), the two-place function constants "$+$" (addition) and "$\cdot$" (multiplication), the one-place function constant "'$'$" (successor) and the two-place predicate constant "$=$" (equality).