毕达哥拉斯继承和发扬了泰勒斯的证明几何学
毕达哥拉斯继承和发扬了泰勒斯的证明几何学，并且将数学概念抽象化，进一步推动了演绎数学的发展。毕达哥达斯的“数是万物的本质，宇宙的组织在其规定中通常是数及其关系的和谐体系”的数理宇宙观对古希腊的数学思想产生了极其深刻的影响。毕达哥拉斯学派因发现“无理数”（不可公度的量）而引起的第一次数学危机，充分证明了几何证明的必要性，在一定程度上进一步推动了人们对几何命题的理论证明。
霍列瑞斯发明的数学
数学，其英文是mathematics ，这是一个复数名词，“数学曾经是四门学科：算术、几何、天文学和音乐，处于一种比语法、修辞和辩证法这三门学科更高的地位。”
自古以来，多数人把数学看成是一种知识体系，是经过严密的逻辑推理而形成的系统化的理论知识总和，它既反映了人们对“现实世界的空间形式和数量关系（恩格斯）”的认识（恩格斯），又反映了人们对“可能的量的关系和形式”的认识。数学既可以来自现实世界的直接抽象，也可以来自人类思维的劳动创造。
从人类社会的发展史看，人们对数学本质特征的认识在不断变化和深化。“数学的根源在于普通的常识，最显著的例子是非负整数。" 欧几里德的算术来源于普通常识中的非负整数，而且直到19世纪中叶，对于数的科学探索还停留在普通的常识，”另一个例子是几何中的相似性，“在个体发展中几何学甚至先于算术”，其“最早的征兆之一是相似性的知识，”相似性知识被发现得如此之早，“就象是大生的。”因此，19世纪以前，人们普遍认为数学是一门自然科学、经验科学，因为那时的数学与现实之间的联系非常密切，随着数学研究的不断深入，从19世纪中叶以后，数学是一门演绎科学的观点逐渐占据主导地位，这种观点在布尔巴基学派的研究中得到发展，他们认为数学是研究结构的科学，一切数学都建立在代数结构、序结构和拓扑结构这三种母结构之上。与这种观点相对应，从古希腊的柏拉图开始，许多人认为数学是研究模式的学问，数学家怀特海（A. N. Whiiehead，186----1947）在《数学与善》中说，“数学的本质特征就是：在从模式化的个体作抽象的过程中对模式进行研究，”数学对于理解模式和分析模式之间的关系，是最强有力的技术。”1931年，歌德尔（K ，G0de1，1978）不完全性定理的证明，宣告了公理化逻辑演绎系统中存在的缺憾，这样，人们又想到了数学是经验科学的观点，著名数学家冯·诺伊曼就认为，数学兼有演绎科学和经验科学两种特性。
对于上述关于数学本质特征的看法，我们应当以历史的眼光来分析，实际上，对数本质特征的认识是随数学的发展而发展的。由于数学源于分配物品、计算时间、丈量土地和容积等实践，因而这时的数学对象（作为抽象思维的产物）与客观实在是非常接近的，人们能够很容易地找到数学概念的现实原型，这样，人们自然地认为数学是一种经验科学；随着数学研究的深入，非欧几何、抽象代数和集合论等的产生，特别是现代数学向抽象、多元、高维发展，人们的注意力集中在这些抽象对象上，数学与现实之间的距离越来越远，而且数学证明（作为一种演绎推理）在数学研究中占据了重要地位，因此，出现了认为数学是人类思维的自由创造物，是研究量的关系的科学，是研究抽象结构的理论，是关于模式的学问，等等观点。这些认识，既反映了人们对数学理解的深化，也是人们从不同侧面对数学进行认识的结果。正如有人所说的，“恩格斯的关于数学是研究现实世界的数量关系和空间形式的提法与布尔巴基的结构观点是不矛盾的，前者反映了数学的来源，后者反映了现代数学的水平，现代数学是一座由一系列抽象结构建成的大厦。”而关于数学是研究模式的学问的说法，则是从数学的抽象过程和抽象水平的角度对数学本质特征的阐释，另外，从思想根源上来看，人们之所以把数学看成是演绎科学、研究结构的科学，是基于人类对数学推理的必然性、准确性的那种与生俱来的信念，是对人类自身理性的能力、根源和力量的信心的集中体现，因此人们认为，发展数学理论的这套方法，即从不证自明的公理出发进行演绎推理，是绝对可靠的，
也即如果公理是真的，那么由它演绎出来的结论也一定是真的，通过应用这些看起来清晰、正确、完美的逻辑，数学家们得出的结论显然是毋庸置疑的、无可辩驳的。