formal system in Japanese
formal system in Japanese
形式体系
(logic) The grouping of a formal language and a set of inference rules and/or axioms.
形式的体系
(logic) The grouping of a formal language and a set of inference rules and/or axioms.