最終更新日:2025/12/01
編集履歴(0)
元となった辞書の項目

conservative extensions

名詞
活用形 複数形
日本語の意味
「conservative extension」の複数形であり、通常は論理学や数学の分野で使われる専門用語。単数形の「保守的拡張」として用いられ、基本となる理論に対して、その理論の性質を損なわずに追加される拡張を指す。
このボタンはなに?

研究者たちは、元の言語で新しい定理を導入しない形式体系のいくつかの保守拡張を調べ、予期しない追加が生じていないことを確認した。

Dictionary quizzes to help you remember the meaning

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★