Last Updated：2025/11/29
(mathematics, logic) An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
conservative extension
Edit Histories（0）
Source Word
conservative extension
Noun
Japanese Meaning
ある論理理論を拡張したもの。拡張後の理論において、元の理論で表現可能な全ての定理が依然として導出可能であり、新たな定理は元の理論の範囲外となる性質を持つ拡張（論理体系の保存的拡張）
（ plural ）
