Слово в математиці (алгебрі і математичній логіці), те ж, що вираження, тобто довільна кінцева (в т.ч. може бути і порожня) послідовність «букв» — символів, складових алфавіт даного логіко-математичного числення. Інколи термін «З.» вживають в декілька вужчому сенсі — як синонім терміну «формула», тобто вираження, складене лише з частини букв даного алфавіту, і притому, мабуть, по спеціальних правилах утворення С. Втім, таке звуження сенсу неістотне — його легко обійти, розглядаючи, окрім «основного» алфавіту (з букв якого будуються С.), ще деякий охоплюючий його алфавіт, що містить необхідні «допоміжні» знаки, а також вводячи із самого початку у визначення поняття С. інші правила побудови, окрім простого зчленування букв.(буквально)
