noun
Meaning 1
The set of all ground terms that may be formed (even recursively) using any of the constants and functions which appear in a given set of formulae. (If there is no constant in that given set of formulae, then designate one default constant as being usable for the aforementioned purpose.)
Definition source: English Wiktionary via Wiktextract
Topics: human-sciences, logic, mathematics, philosophy, sciences
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: none provided
Antonyms: none provided