в математической логике - символ формального языка для обозначения некоторого фиксированного элемента (индивида), фиксированной операции или отношения на какой-либо структуре, описываемой этим языком. В соответствии с этим различают индивидные константы, функциональные константы и предикатные константы. Совокупность всех К. языка наз. сигнатурой этого языка. Напр., сигнатура языка арифметики формальной состоит из индивидной К. "О" (нуль), двуместных функциональных К. "+" (сложение) и 
(умножение), одноместной функциональной К. "'" (прибавление единицы) и двуместной предикатной К.
"- " (равенство).
С. К. Соболев.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.