“形式系统”常见的英文表达是 "formal system"。
在数学、逻辑学、计算机科学等领域中，该术语用于描述一个由形式语言、公理和推理规则构成的严谨体系，例如在数理逻辑中，命题逻辑和谓词逻辑都可以看作是形式系统。