Source: wikibot/extension-by-new-constant-and-function-names

= Extension by new constant and function names
{wiki=Extension_by_new_constant_and_function_names}

"Extension by new constant and function names" usually refers to a concept in formal logic and model theory, particularly in the context of extending a theory by adding new symbols for constants and functions. In formal logic, a theory can be thought of as a set of sentences in a formal language. Sometimes, one needs to expand or extend the language of the theory to include additional elements. Here's how this works in practice: 1. **New Constants**: You can introduce new constant symbols into the language.