conservative extension
Jump to navigation
Jump to search
English[edit]
Noun[edit]
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