Константа в математической логике — символ формального языка для обозначения некоторого фиксированного элемента (индивида), фиксированной операции или отношения на какой-либо структуре, описываемой этим языком.
[Язык алгоритмический. Глоссарий. (Электронный ресурс). Режим доступа: http:// portal.edu.asu.ru›mod/glossary /view.php…/, свободный.]