(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 extension
論理理論の保守的拡張は、元の言語で表現できるすべての定理が引き続き導出可能であり、拡張によって新たに導入されたものではないことを保証する。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
