Mathematical logic and foundations First-order logic Concept
Term
Summary
A term is an expression of a first-order language that names an object. Terms are built from variables and constant symbols by applying function symbols of the signature. In a structure, once the variables have values, each term has a value, which is an element of the structure. Terms play the role of nouns in logic, while formulas play the role of statements.
Where this leads
3 pages build on this one.
Further reading
About this page
| Tag | 6D3WA7N2W4 |
|---|---|
| URI | m2://6D3WA7N2W4 |
| Kind | concept |
| Writing | W0 stub |
| MSC | 03B10, 03C07 |
| Same as | |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.