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