数学从「会算」变成「会证」的那一刻发生在古希腊——演绎证明，这一现代数学乃至一切形式科学的底座，在此诞生。
从会算到会证
巴比伦人早就列出成组的勾股数，埃及人测地丈量了上千年——为什么「证明」偏偏诞生在希腊？解释指向城邦文化：广场辩论把「说服」变成制度，数学第一次成为论证对象，而非工匠秘传。泰勒斯（Thales）据传最早证明普遍命题——半圆上的圆周角必为直角，对所有圆一律成立，而非只对量过的那块地。
毕达哥拉斯（Pythagoras）学派进而宣称「万物皆数」：一切量皆可化为整数之比。但演绎不认主人——门徒 Hippasus 证明 不可公度，学派世界观被自己惯用的方法击沉（详见 数学三次危机）。教训在此：证明高于直觉，甚至高于证明者的信仰——别的文明从未赋予数学这种地位。
公理体系的革命
直觉会被证伪，可靠的知识就需要一个不出错的框架。两个世纪后，欧几里得的《几何原本》（Elements，约公元前 300 年）交出答案：23 个定义、5 条公设（postulates）、5 条公理，仅凭逻辑推出 13 卷 465 个命题。每一步可回溯、可检验，正确性不再依赖权威与经验，而由推理链条结构性保证。
革命性在知识组织：牛顿《原理》按其体例写成，两千年后 尼古拉·布尔巴基 仍以公理结构重构全部数学；今天任何一篇收敛性证明，走的都是欧几里得的格式。
穷竭法：积分的前奏
演绎不仅能整理已知，还能开辟未知。Eudoxus 严格化、阿基米德用至极致的穷竭法（method of exhaustion）：以内接与外切多边形夹逼圆，96 边形给出 ；对抛物线弓形，用逐次缩小的三角形填满，面积构成公比 的几何级数。「分割、逼近、求和」的骨架与积分无异，只欠把「穷竭到底」明确为取极限——这一步等了两千年，故事在 微积分发明权之争 继续。
两条传统
希腊不是唯一做数学的文明，却是唯一把证明当作数学核心的文明。同时期的 中国古代数学 走算法化一路：以「术」为纲，长于构造与数值求解，不问必然性。演绎与算法两大传统各自繁荣两千余年，近代合流——今天机器学习中「理论保证」与「有效先行」的张力，正是这场古老分工的回声。