In analogy to natural language, where a
noun phrase refers to an object and a whole
sentence refers to a fact, in
mathematical logic, a
term denotes a mathematical object and a
formula denotes a mathematical fact. In particular, terms appear as components of a formula.