最終更新日:2022/12/07
正解を見る
(mathematics, logic) An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.
編集履歴(0)
元となった辞書の項目
conservative extension
noun