数学最早是研究量、结构、变化以及空间模型的学科。在现代，数学又是利用逻辑形式研究现实互联网纾的空间形式和数量关系的学科，尽管对某一特定结构的研究往往属于自然科学，特别是物理学的范畴。同时由于数学自身的发展，数学家也要研究纯粹属于数学内部的结构。

自古以来，多数人把数学看成是一种知识体系，是经过严密的逻辑推理而形成的系统化的理论知识总和，它既反映了人们对“现实世界的空间形式和数量关系(恩格斯)”的认识(恩格斯)，又反映了人们对“可能的量的关系和形式”的认识。数学既可以来自现实世界的直接抽象，也可以来自人类思维的劳动创造。

从人类社会的发展史看，人们对数学本质特征的认识在不断变化和深化。“数学的根源在于普通的常识，最显著的例子是非负整数。"欧几里德的算术来源于普通常识中的非负整数，而且直到19世纪中叶，对于数的科学探索还停留在普通的常识，”另一个例子是几何中的相似性，“在个体发展中几何学甚至先于算术”，其“最早的征兆之一是相似性的知识，”相似性知识被发现得如此之早，“就象是大生的。”因此，19世纪以前，人们普遍认为数学是一门自然科学、经验科学，因为那时的数学与现实之间的联系非常密切，随着数学研究的不断深入，从19世纪中叶以后，数学是一门演绎科学的观点逐渐占据主导地位，这种观点在布尔巴基学派的研究中得到发展，他们认为数学是研究结构的科学，一切数学都建立在代数结构、序结构和拓扑结构这三种母结构之上。与这种观点相对应，从古希腊的柏拉图开始，许多人认为数学是研究模式的学问，数学家怀特海(A. N. Whiiehead，186----1947)在《数学与善》中说，“数学的本质特征就是：在从模式化的个体作抽象的过程中对模式进行研究，”数学对于理解模式和分析模式之间的关系，是最强有力的技术。”1931年，歌德尔(K，G0de1，1978)不完全性定理的证明，宣告了公理化逻辑演绎系统中存在的缺憾，这样，人们又想到了数学是经验科学的观点，著名数学家冯·诺伊曼就认为，数学兼有演绎科学和经验科学两种特性。

对于上述关于数学本质特征的看法，我们应当以历史的眼光来分析，实际上，对数本质特征的认识是随数学的发展而发展的。由于数学源于分配物品、计算时间、丈量土地和容积等实践，因而这时的数学对象(作为抽象思维的产物)与客观实在是非常接近的，人们能够很容易地找到数学概念的现实原型，这样，人们自然地认为数学是一种经验科学;随着数学研究的深入，非欧几何、抽象代数和集合论等的产生，特别是现代数学向抽象、多元、高维发展，人们的注意力集中在这些抽象对象上，数学与现实之间的距离越来越远，而且数学证明(作为一种演绎推理)在数学研究中占据了重要地位，因此，出现了认为数学是人类思维的自由创造物，是研究量的关系的科学，是研究抽象结构的理论，是关于模式的学问，等等观点。这些认识，既反映了人们对数学理解的深化，也是人们从不同侧面对数学进行认识的结果。正如有人所说的，“恩格斯的关于数学是研究现实世界的数量关系和空间形式的提法与布尔巴基的结构观点是不矛盾的，前者反映了数学的来源，后者反映了现代数学的水平，现代数学是一座由一系列抽象结构建成的大厦。”而关于数学是研究模式的学问的说法，则是从数学的抽象过程和抽象水平的角度对数学本质特征的阐释，另外，从思想根源上来看，人们之所以把数学看成是演绎科学、研究结构的科学，是基于人类对数学推理的必然性、准确性的那种与生俱来的信念，是对人类自身理性的能力、根源和力量的信心的集中体现，因此人们认为，发展数学理论的这套方法，即从不证自明的公理出发进行演绎推理，是绝对可靠的，也即如果公理是真的，那么由它演绎出来的结论也一定是真的，通过应用这些看起来清晰、正确、完美的逻辑，数学家们得出的结论显然是毋庸置疑的、无可辩驳的。

由于数学研究对象的数量关系与空间形式都来自现实世界，因而数学尽管在形式上具有高度的抽象性，而实质上总是扎根于现实世界。生活实践与技术需要始终是数学的真正源泉，反过来，数学对改造世界的实践又起着重要的、关键的作用。理论上的丰富提高与应用的广泛深入在数学史上始终相伴相生，相互促进。但由于各民族各地区的客观条件不同，数学的具体发展过程是有差异的。大体说来，古代中华民族以竹为筹，以筹运算，自然地导致十进位值制的产生。计算方法的优越有助于对实际问题的具体解决。由此发展起来的数学形成了一个以构造性、计算性、程序化与机械化为其特色，以从问题出发进而解决问题为主要目标的独特体系。而在古希腊则着重思维，追求对宇宙的了解。由此发展成以抽象了的数学概念与性质及其相互间的逻辑依存关系为研究对象的公理化演绎体系。

数学，其英文是mathematics，这是一个复数名词，“数学曾经是四门学科：算术、几何、天文学和音乐，处于一种比语法、修辞和辩证法这三门学科更高的地位。”