conservative extension
conservative extension · conservative extensions
An extension of a logical theory such that every theorem expressible in the original…An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.
Значення
значень: 1An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.
Форми
множина: conservative extensions| Однина | conservative extension |
|---|---|
| Множина | conservative extensions |
правильне