“形式体系”常见的英文表达是 "formal system" 。
在数学、逻辑学、计算机科学等领域中，该术语常被使用，用来描述一个由形式语言、公理和推理规则组成的严谨结构。例如：A formal system consists of a formal language, a set of axioms, and a set of inference rules.（一个形式体系由形式语言、一组公理和一组推理规则组成。 ）