几何学
欧几里得所提出的抽象概念，进而使得《几何原本》列入了最有影响力的书籍之一，欧几里得提出五大公理和公设，揭示了点线面的自可证的基本性质，他一直试图通过其他数学理论来严谨性推导其他性质，而这也是欧几里得陈述的最特色的地方，并使得几何更加公理化和。19世纪初，尼古拉·罗巴切夫斯基 (1792–1856), 鲍耶·亚诺什 (1802–1860), 卡爾·弗里德里希·高斯 (1777–1855)对非欧几里得几何的探索使得几何学领域又得以重新发展，而在20世纪初，大卫希尔伯特把公理性证明的引入成就了现代几何学的出现。
非欧几里得几何
长期以来，数学家们发现第五公设和前四个公设比较起来，显得文字叙述冗长，而且也不那么显而易见。有些数学家还注意到欧几里得在《几何原本》一书中直到第29个命题中才用到，而且以后再也没有使用。也就是说，在《几何原本》中可以不依靠第五公设而推出前28个命题。因此，一些数学家提出，第五公设能不能不作为公设，而作为定理？能不能依靠前四个公设来证明第五公设？这就是几何发展史上最著名的，争论了长达两千多年的关于“平行线理论”的讨论。由于证明第五公设的问题始终得不到解决，人们逐渐怀疑证明的路子走的对不对？第五公设到底能不能证明？