conservative extension

English

Noun

conservative extension (plural conservative extensions)

  1. (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
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.