Definition:Language of Predicate Logic/Formal Grammar/Term

Definition
Part of specifying the language of predicate logic $\mathcal L_1$ is the introduction of terms.

The terms of $\mathcal L_1$ are identified by the following bottom-up grammar:

Colloquially, we can think of a term as an expression signifying an object.