n. any of the expressions explicitly stated to be a term of a theory, such as names, predicates, and variables in the predicate calculus. Although the primitive terms refer to the undefined elements of a theory, they are implicitly defined by its axioms.