axiom system

短语

词形变化

axiom systems 复数 axiom systems

释义与例句

n.
  1. 1.

    A set of axioms or axiom schemata from which theorems can be derived.