能就是从那个时候发展起来的。高斯一代的数学家没有彻底地区分过“纯粹”和“应用”。之后，专门化和专业化，特别是魏尔施特拉斯研究数学分析的方法，使得两者的区别越来越大。
20世纪.进入20世纪，数学家们受到希尔伯特的影响，开始使用公理系统。罗素提出了“纯粹数学”的逻辑公式化方法，以量化的命题为形式。随着数学的公理化，这些公式变得越来越抽象，“严格证明”成为了简单的标准。实际上在公理系统中，“严格”在“证明”中没有任何新意。以布尔巴基小组的观点，纯粹数学就是已经被证明了的公理。纯粹数