他们的状态变得可能，需要研究的就是在所有的结构里找出满足这些公理的结构。因此，我们可以学习群、环、域和其他的抽象系统把这些研究（通过由代数运算定义的结构）可以组成抽象代数的领域。由于抽象代数具有极大的通用性，它时常可以被应用于一些似乎不相关的问题，例如一些古老的尺规作图的问题终于使用了伽罗瓦理论解决了，它涉及到域论和群论。代数理论的另外一个例子是线性代数，它对其元素具有数量和方向性的向量空间做出了一般性的研究。这些现象表明了原来被认为不相关的几何和代数实际上具有强力的相关性。组合数学研究列举满足给定结构的数对象的方法。
空间
空间的研究源自于欧式几何三角学则结合了空间及数，且包含有非常着名的勾股定理、三角函数等。现今对空间的研究更推广到了更高维的几何、非欧几何及拓扑学。数和空间在解析几何、微分几何和代数几何中都有着很重要的角色。在微分几何中有着纤维丛及流形上的计算等概念。在代数几何中有着如多项式方程的解集等几何对象的描述，结合了数和空间的概念；亦有着拓扑群的研究，结合了结构与空间。李群被用来研究空间、结构及变
主条目：数学基础
为了弄清楚数学基础，数学逻辑和集合论等领域被发展了出来。德国数学家康托尔（1845—1918）首创集合论，大胆地向“无穷大”进军，为的是给数学各分支提供一个坚实的基础，而它本身的内容也是相当丰富的，提出了实无穷的思想，为以后的数学发展作出了不可估量的贡献。
集合论在20世纪初已逐渐渗透到了各个数学分支，成为了分析理论、测度论、拓扑学及数理科学中必不可少的工具。20世纪初，数学家希尔伯特在德国传播了康托尔的思想，把集合论称为“数学家的乐园”和“数学思想最惊饶产物”英国哲学家罗素把康托的工作誉为“这个时代所能夸耀的最巨大的工作”。
逻辑
主条目：数理逻辑
数学逻辑专注在将数学置于一坚固的公理架构上，并研究此一架构的成果。就其本身而言，其为哥德尔第二不完备定理的产地，而这或许是逻辑中最广为流传的成果现代逻辑被分成递归论、模型论和证明论，且和理论计算机科学有着密切的关联性。
符号
主条目：数学符号
也许我国古代的算筹是世界上最早使用的符号之一，起源于商代的占卜。
我们现今所使用的大部分