axiom schema

短语

词形变化

axiom schemas 复数 axiom schemas axiom schemata axiom schemata 复数

释义与例句

n.
  1. 1.

    A formula in the language of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions.

    数学 哲学