研究现实世界数量关系和空间形式的科学。发端于计数与度量的实际问题。具有高度的抽象性、严谨的逻辑性和广泛的适用性。包括数理逻辑、数论、代数学、几何学、拓扑学、函数论、泛函分析、微分方程、概率论和数理统计、计算数学，以及运筹学、控制论等。