Значение СЛОВО (В МАТЕМАТИКЕ) в Большой советской энциклопедии, БСЭ

СЛОВО (В МАТЕМАТИКЕ)

в математике (алгебре и математической логике), то же, что выражение, т. е. произвольная конечная (в т. ч. может быть и пустая) последовательность 'букв' - символов, составляющих алфавит данного логико-математического исчисления. Иногда термин 'С.' употребляют в несколько более узком смысле - как синоним термина 'формула', т. е. выражение, составленное лишь из части букв данного алфавита, и притом, быть может, по специальным правилам образования С. Впрочем, такое сужение смысла несущественно - его легко обойти, рассматривая, кроме 'основного' алфавита (из букв которого строятся С.), ещё некоторый объемлющий его алфавит, содержащий необходимые 'вспомогательные' знаки, а также вводя с самого начала в определение понятия С. другие правила построения, кроме простого сочленения букв.

Большая советская энциклопедия, БСЭ.