Terms

A term is an object from the well-formed formulae of the First-Order Signature. They denote individuals in the First-Order Predicate Logic.

It is made up of:

• all individual variables
• all functions applied to maximum of $k$ well formed formulae