摘要： 5 数学基础 5.1 数学系统 Q: 一阶系统和模型分别和数学领域有什么关系？ A: 一阶系统不涉及具体语义（数学领域）。适当一阶系统，再选择特定模型作为解释，能够表达某数学领域的许多数学定理、逻辑定理。 Q: 形式主义和逻辑主义有何区别？ A: 形式主义：公理不一定是逻辑的公理（不强调一切系统都由 阅读全文