conservative extension

短语

词形变化

conservative extensions 复数 conservative extensions

释义与例句

n.
  1. 1.

    An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.

    数学 哲学