Терм — выражение формального языка (системы), является формальным именем объекта или именем формы. Понятие терма определяется индуктивно. Термом называется символьное выражение: t(X1, X2, … , Xn), где t — имя терма, называемая функтор или «функциональная буква», а X1, X2, … , Xn — термы, структурированные или простейшие.

В логике первого и второго порядков терм определяется рекурсивно следующим образом:

1. всякая индивидная константа есть терм;
2. всякая свободная переменная есть терм;
3. если  — і-местная функциональная константа и , , …,  — термы, то также есть терм;
4. термами являются только те выражения, которые получены согласно пп. 1—3