Definition:Language of Predicate Logic/Formal Grammar/Term

Definition
Let $\mathcal L_1$ be predicate calculus. 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.