endliche Folge von Zeichen aus einer elementaren Sprache L, die nach bestimmten Regeln gebildet ist. Die eigentliche Definition erfolgt über dem Termaufbau.

1. Alle Individuenzeichen und Individuenvariablen sind Terme.
2. Ist f ein n-stelliges Funktionszeichen in L, und sind t₁, …, t_n Terme, dann ist f (t₁, …, t_n) ein Term.
3. 3. Keine weiteren Zeichenreihen sind Terme.

Die so definierten Zeichenreihen werden L-Terme genannt. Die allein mit Hilfe von 1. festgelegten Terme sind nicht weiter zerlegbar, sie heißen auch atomare Terme. Enthält die elementare Sprache L keine Funktionszeichen, dann lassen sich in L nur atomare Terme bilden.