几何学
欧几里得所提出的抽象概念，进而使得《几何原本》列入了最有影响力的书籍之一，欧几里得提出五大公理和公设，揭示了点线面的自可证的基本性质，他一直试图通过其他数学理论来严谨性推导其他性质，而这也是欧几里得陈述的最特色的地方，并使得几何更加公理化和。19世纪初，尼古拉·罗巴切夫斯基 (1792–1856), 鲍耶·亚诺什 (1802–1860), 卡爾·弗里德里希·高斯 (1777–1855)对非欧几里得几何的探索使得几何学领域又得以重新发展，而在20世纪初，大卫希尔伯特把公理性证明的引入成就了现代几何学的出现。
算术几何
算术几何原指从法尔廷斯（Faltings,G.）、奎伦（Quillen,D.G.）等的算术曲面上黎曼-罗赫定理开始的一系列研究工作，现在一般指所有以数论为背景或目的的代数几何。在算术几何中许多学科起着重要作用，并且相互交叉和渗透，包括数论、模形式、表示论、代数几何、代数数论、李群、多复变函数论、黎曼面、K理论等，所以，它是典型的边缘学科。丢番图方程是算术几何的一个重要课题，其中的问题可以自然地用几何语言表达。在许多著名问题如莫德尔猜想、费马大定理等的研究中，都表明几何方法的必要性。这正是算术几何的生命力所在。