conservative extension

Noun

Japanese Meaning

ある論理理論を拡張したもの。拡張後の理論において、元の理論で表現可能な全ての定理が依然として導出可能であり、新たな定理は元の理論の範囲外となる性質を持つ拡張（論理体系の保存的拡張）

論理理論の保守的拡張は、元の言語で表現できるすべての定理が引き続き導出可能であり、拡張によって新たに導入されたものではないことを保証する。

Sense（1）

conservative extensions

（ plural ）