演绎逻辑（理论）VS 归纳推理（实际数据）

研究某一方面的事物需用某一方面的专门语言

公理是无需证明的论点，哲学讨论的是公理应该是什么

主要涉及的研究方法 数学建模：希望让万事万物有章可循，具有可操作性，其实都有模型的思想

学科关系

公理化方法的缺陷 一阶逻辑和高阶逻辑