形式科学它包括数学，系统理论和理论计算机科学。依靠对知识领域的客观，认真和系统的研究，形式科学与其他两个分支具有相似之处。但是，它们与经验科学不同，因为它们完全依靠演绎推理，而无需经验证据来验证其抽象概念。
因此，形式科学是先验的学科，因此，对于它们是否真正构成一门科学存在分歧。然而，形式科学在经验科学中起着重要作用。例如，微积分最初是为了理解物理学中的运动而发明的。严重依赖数学应用的自然科学和社会科学包括数学物理学，数学化学，数学生物学，数学金融和数学经济学。
关键词： 系统理论 理论计算机科学 形式科学 数学应用
