formal system

Noun

(logic) The grouping of a formal language and a set of inference rules and/or axioms.

Japanese Meaning

形式体系：形式言語と一組の推論規則または公理から構成される、論理における体系

To verify the proof's validity, the team encoded the arguments within a formal system and checked each inference step.

証明の妥当性を検証するため、チームは議論を形式体系（形式言語と推論規則の集合）に符号化し、各推論の手順を確認した。

Sense（1）

(logic) The grouping of a formal language and a set of inference rules and/or axioms.

formal systems

（ plural ）