Sekirov Dictionary

conservative extension

noun1

An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.

forms

conservative extensions

This dictionary works without the internet: on your phone · in Chrome