'''Term''' ('''formuła nazwowa''') – wyrażenie składające się ze zmiennych oraz symboli funkcyjnych o dowolnej [[argumentowość|argumentowości]] (w tym o argumentowości 0, czyli [[stała (matematyka)|stałych]]) z pewnego ustalonego zbioru.
W wielu dziedzinach matematyki używa się określenia ''term'' na oznaczenie napisów (wyrażeń) formalnych które mogą być traktowane jako ''nazwy'' na obiekty matematyczne. W większości przypadków znaczenie to można przedstawić jako '''termy w pewnym języku pierwszego rzędu''' opisane poniżej.
