##### 形式系统 - 形式系统 - **形式系统**是[[公理系统]]的形式化, 通常由[[形式语言]]和[[演绎推理]]构成, 能够通过一组[[推理规则]]从公理中推导出定理. 形式系统的核心目标是保证推理过程的严密性和一致性, 通过符号与规则实现推理和计算, 机械地判定某一命题是否是该系统中的定理. 一个形式系统一旦建立, 其推理和结果就不依赖具体语义, 而是完全根据符号规则进行, 这正是形式一词的含义. 意义只在语义解释中出现, 而形式系统本身是语法性的. 形式系统的分支有逻辑系统, 数学系统, 编程语言等