axiom schema

名词 n.
中文释义

英文释义

名词 n.
  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.

词形变化

axiom schemas plural axiom schemata plural
0 次浏览 数据来源: Wiktionary