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