English Dictionary

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.

日本語の意味

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

A conservative extension of a logical theory ensures that every theorem expressible in the original language remains provable without being introduced by the extension.

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

意味（1）

(mathematics, logic) An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.

conservative extensions （ plural ）