Большая советсткая энциклопедия Слово (в математике)

Слово (в математике)

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