In mathematical logic, a theory can be extended with new constant or function names under certain conditions with the assurance that the extension introduces no contradiction; this result is the conservativity theorem. Extension by definitions is the best known approach, and requires unique existence of an object with the desired property, though addition of new names can also be done safely without uniqueness. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
Classification
Statement Form Sources
1. Extension by new constant and function names (Wikipedia)
Lead section, statement-form referenceQuote, Lead section, statement-form reference
Extension by definitions is perhaps the best-known approach, but it requires unique existence of an object with the desired property.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.