Meaning of conservative extension | Babel Free
Definitions
An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.
CEFR level
B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.
This word is part of the CEFR B2 vocabulary — upper intermediate level.