经验证据来证实其抽象概念。所以说形式科学是先验的学科，也因此，关于它们能否真正算作一类科学存在不同意见。但不管怎样，形式科学的方法手段却可以应用于构造和测试用来实践现实观测的科学模型，从而在经验科学中扮演了重要角色。比如，微积分最初就是为了理解物理学中的运动而发明的。自然科学与社会科学中，强烈倚赖数学之应用的分支包括数学物理、、数理生物学、数理金融学、数理经济学等。
自然科学.自然科学致力于通过观察和实验取得经验证据，以此来描述、预测和理解自然现象。它可划分为两个主要分支：物理科学