conservative extension

English edit

Noun edit

English Wikipedia has an article on:

conservative extension

conservative extension (plural conservative extensions)

(mathematics, logic) An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.

Translations edit

extension of a logical theory

Retrieved from "https://en.wiktionary.org/w/index.php?title=conservative_extension&oldid=70917785"