formal system
短语[计] 形式系统
词形变化
formal systems
复数
formal systems
释义与例句
n.
-
1.
The grouping of a formal language and a set of inference rules and/or axioms.
数学 哲学