Математическая энциклопедия - константа

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

"" (равенство).

С. К. Соболев.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985