##### 公理系统 - 公理系统 - **公理系统**由一些未定义的原始术语和一系列公理性的[[命题]]组成, 可以逻辑推理出其他命题, 称为定理或引理. 公理系统中的证明是一系列[[演绎推理]]步骤, 这些步骤将公理推导出一个新的命题. [[形式系统]]则是对这种推理过程的彻底形式化与符号化, 强调语法规则, 不关心语义