| schema:description |
"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. A first-order term is recursively constructed from constant symbols,..."^^xsd:string
|