ALL meanings of conservative extension
- noun conservative extension a formal theory that includes among its theorems all the theorems of a given theory 3
- noun conservative extension the class of entities to which a given word correctly applies: thus, the extension of satellite of Mars is the set containing only Deimos and Phobos 3
- noun conservative extension (mathematics, logic) An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory. 0