古希腊数学中的公理化思想及其历史发展

1、古希腊数学中的公理化思想及其历史发展摘要 : 欧几里得几何是第一个公理化体系， 非欧几何的出现促使人们对它的基础作了严格审视， 其 中希尔伯特公理化方法最为成功；但它的相容性问题一直没有解决，集合论悖论使得这个问题更 加尖锐。虽然集合论的公理化一度时期曾化解了悖论给公理化方法所带来的危机，但不久哥德尔 不完全性定理就深刻地揭露了公理化方法不可避免的局限性。尽管后来的布尔巴基学派的结构数 学使公理化方法更上一层楼，但仍然无法克服公理化方法本身的局限性。关键词 : 欧几里得几何；公理化；相容性；历史发展；局限性1 欧几里得以前的几何学人类最初的几何知识是从对形的直觉中萌发出来的，不过在不同的地区，

2、几何学的这种实践 来源方向不尽相同。古埃及几何学产生于尼罗河泛滥后土地的重新丈量；古代中国几何学的起源 更多地与天文观测相联系；古代印度几何学的起源则与宗教实践密切相关。当古代实用几何知识 积累到一定阶段时，对它们进行系统整理与理论概括必然形成趋势。向理论数学的过渡，大约是 公元前 6世纪在地中海沿岸开始的， 它带来了初等数学的第一个黄金时代， 以论证几何为主的希腊 数学时代。论证数学鼻祖的荣耀归于泰勒斯，据称他领导的爱奥尼亚学派首开希腊命题证明之先 河，他自己证明了不少定理，其中包括那条至今仍被称作“泰勒斯定理”的命题: 半圆上的圆周角是直角。论证数学的成长归功于毕达哥拉斯及其在克洛托内创建

3、的秘密会社，普遍的认识是欧几里得 原本前两卷的大部分材料均来源于毕达哥拉斯学派。毕达哥拉斯学派另一项几何成就是正多 面体作图，他们称正多面体为“宇宙形”。在三维空间仅有的五种正多面体中，毕达哥拉斯及其 学派成员先后解决了它们的作图问题。 在所有正多面体中 , 正十二面体最为引人注目， 这是因为它 的每个面都是五边形，其作图问题涉及到了所谓的“黄金分割”。毕达哥拉斯以后，在作为希腊民主政治与经济文化中心的雅典及其周边地区，先后涌现出了 众多的学术派别。这些学派虽然主要从事哲学讨论，但他们的研究活动同时也极大地加快了希腊 数学的理论化进程。 雅典时期， 数学中的演绎化倾向有了实质性的进展， 这主要

4、应归功于柏拉图、 亚里士多德和他们的学派。柏拉图开设的雅典学院，据说大门上写着“不懂几何者莫入”。柏拉图本人在数学上虽未取 得什么具体成就，但对数学研究的方法却颇多贡献。分析法与归谬法即被认为是他的思想，他给 出了许多几何定义，并坚持对数学知识作演绎整理。柏拉图的思想在他的学生与同事亚里士多德那里得到发展和完善。亚里士多德对定义作了精 密的讨论，并指出需要有未加定义的名词，他也深入研究了作为数学推理出发点的基本原理，并 将它们区分为公理和公设。亚里士多德最重大的贡献是将前人使用的数学推理规律规范化和系统 化， 从而创立了独立的逻辑学， 其中的基本逻辑原理矛盾律和排中律， 成为数学间接证明的核心

5、。 亚里士多德的形式逻辑被后人奉为演绎推理的圣经，在当时则为欧几里得演绎几何体系的形成奠 定了方法论的基础。2 欧几里得原本与公理化在希腊数学史上，欧几里得具有承前启后的作用。他是希腊论证几何学的集大成者，更是亚 历山大数学学派的奠基人。 他对数学或者说整个人类文明史的贡献， 主要体现在他的鸿篇巨著 原 本当中。这部杰作的出台亮相，使以前所有有关数学原理的书册黯然失色。“原本”的希腊文原意是指一个学科中最重要的定理，如同字母之于语言的作用一样，它们 必须具有最一般最广泛的应用。原本所包含的正是这样一些数学定理，欧几里得在这里运用 公理法则对当时的数学知识进行了系统化、理论化的总结。全书共分13

6、卷，包括 5条公理、 5条公设、119个定义和 465条命题，构成了人类文明史上第一个演绎数学的公理化体系。其中 5条公理为 :1)等于等量的量彼此相等； 2)等量加等量和相等； 3)等量减等量差相等； 4) 彼此重合的图形是全 等的； 5)整体大于部分。 5条公设为 : 1) 从任意一点到任意一点可做一条直线； 2)一条有限直线可 不断延长； 3) 一任意中心和直径可以画圆； 4) 凡直角都彼此相等； 5) 若一直线落在两直线上所构 成的同旁内角和小于两直角，那么把两直线无限延长，它们将在同旁内角和小于两直角的一侧相 交。基本定义有 : 点是没有部分的；线是没有宽度的长；面是只有长度和宽度的

7、；直线是与其上的 点相平齐的线；平面是与其上的线均匀平放着的面等等。3 非欧几何及其对公理化的影响直到18 世纪末， 几何领域仍然是欧几里得一统天下。 解析几何改变了几何研究的方法， 但没 有从实质上改变欧几里得几何本身的内容。解析方法的运用虽然在相当长的时间内冲淡了人们对 综合几何的兴趣，但欧几里得几何作为数学严格性的典范始终保持着神圣的地位。许多学者都视 欧几里得几何为绝对真理。然而，这种近乎科学“圣经”的几何学并非无懈可击。在对欧氏几何的疑惑中，第五公设或称平行公理首当其冲。在欧几里得的所有公理中，这条公理表述明显较其他公理复杂，而且它在原本中出现很晚，欧几里得似乎在迫不得已时才启 用这

8、条公理。 事实上， 从公元前 3世纪开始， 一批又一批数学家始终怀疑欧几里得第五公设其实不 是一条公理，而是一条定理。为澄清这种疑惑，一代代数学家想方设法证明这条“公设”，然而 他们所给的“证明”要么隐含着等价的命题或假设，要么存在着形式的推理错误。在被证实是等 价的命题中有一条普莱菲尔（17481819）普洛克鲁斯（公元前500）平行公理1:过已知直线外一点能且只能作一条直线与已知直线平行，这就是我们今天通常使用的平行公理。18世纪中叶，达朗贝尔无奈地把平行公设的证明问题称为“几何学中的家丑”。但就在此前 后，对第五公设的研究开始出现有意义的进展。在这方面的代表人物是意大利数学家萨凯里、德

9、国数学家克吕格尔和瑞士数学家兰伯特。他们各自从与欧几里得平行公理相反的替代公设出发， 推出了一系列新奇的结论，可以说走到了非欧几何的门前，但却都没能跨进门槛。“非欧几何” 的名称来源于高斯。 尽管在其正式建立之前， 许多技术性的内容已被大量导出， 但高斯最先对其意义有深刻理解。他从1 799年开始意识到平行公设不能由其他公理推出，并从1813年起发展了这种平行公设在其中不成立的新几何。然而由于担心“黄蜂刺耳”即世俗的攻击，这 位“数学之王”决定将自己的发现秘而不宣。1832年，对发现非欧几何深缄其口的高斯突然收到一篇论文绝对空间的科学2 ，文章的作者是一位名叫波约的匈牙利青年，文中论述的“绝对

10、几何”事实上就是非欧几何，且与高斯的 思想方法不谋而合。可以想象急于得到支持的波约等来的会是什么，高斯淡然而缺乏热情的评语 使他十分灰心，从此放弃了发表论文的想法。在非欧几何的三位发明人中，只有俄国数学家罗巴切夫斯基最早、最系统地发表了自己的研 究成果，并且也是最坚定地宣传和捍卫自己新思想的一位。 他先是于 1826年在喀山大学发表了 简 要论述平行线定理的一个严格证明的演讲，报告了自己关于非欧几何的发现，而后又在1829年发表了题为论几何原理的论文，这是历史上第一篇公开发表的非欧几何文献。罗巴切夫斯基 非欧几何与高斯、波约的基本思想一致，即用与欧几里得第五公设相反的断言: 过直线外一点，可引

11、不止一条直线与已知直线不相交，作为替代公设，进行逻辑推导而得出一连串新几何学的定 理，它们并不包含矛盾，因而在总体上形成了一个逻辑上可能的、无矛盾的理论。欧几里得几何 学在这里仅成了罗巴切夫斯基几何的一个特例。非欧几何要获得普遍接受，需要解决两方面的问题。首先是确实地证明自身在逻辑上的无矛 盾性；其次是揭示这种几何的现实意义。后一个问题直到20世纪爱因斯坦相对论建立后才得到解决，至于非欧几何的无矛盾性问题，19世纪70年代以后，意大利数学家贝尔特拉米3 、德国数学 家克莱因 4 各自在欧几里得空间中给出了罗巴切夫斯基几何的模型。他们的工作，使非欧几何具 有了至少与欧几里得几何同等的逻辑地位。

12、至此非欧几何作为一种几何的合法地位充分建立起来， 并开始得到广泛的理解和接受。非欧几何的创立及其被接受的历史过程，促使人们对欧几里得几何的基础做更全面更严格的 审视。数学家们起码面临如下尖锐的问题。（1）欧几里得几何有没有矛盾？由于将非欧几何的无矛盾性归结为欧几里得几何的无矛盾性， 这一问题就变得不可回避。（2）欧几里得几何中除平行公理外其他公理的独立性问题。 非欧几何的建立实际上就是确定了 平行公理的独立性，即平行公理不可能是欧氏体系中其他公理和定理的推论。这就自然会引导数 学家们去考察其他公理是否独立。在这样的逻辑眼光下，原本中的公理体系潜含着的逻辑缺 陷就会暴露出来，例如人们发现第四公设

13、 （ 凡直角都彼此相等 ） 是多余的，即不独立的。另外，数学家们还进一步追问欧几里得体系是否包含了足够的公理。4 希尔伯特公理化方法在重建严格统一的几何基础的努力中，希尔伯特的几何基础 （1899） 最为成功。希尔伯特 在总结了整个几何学发展的基础上提出了自己的公理系统和组织公理系统的原则。在数学史上， 希尔伯特的方法被称为现代公理化方法，以区别于欧几里得的公理化。希尔伯特的现代公理化方法包括五组公理 :1） 关联公理 （含8个公理 ）；2） 顺序公理 （含4个公 理） ； 3）合同公理（含5个公理） ； 4）平行公理； 5）连续公理 （含阿基米德公理和完备公理 ），其中阿 基米德公理（线段a

14、, b,设a>b,则一定有整数n使nb>a ）为欧几里得公理体系所缺， 完备公理在几 何基础第一版中没有，经庞加莱等人指出（只留下坐标x，y，z均为代数数的点而剔除所有其余点后的空间 ） 后在第二版中加进。进一步希尔伯特对公理系统提出明确的逻辑要求, 也就是指出如何选择公理 :1） 相容性, 即不 能出现矛盾（P与-P不能同时成立）；2）独立性，即不能出现多余的公理；3）完备性，即不能缺少公理。希尔伯特在这方面的贡献影响深远,因为他比任何前人都更加透彻地弄清了公理系统的逻 辑结构与内在联系。在对他的公理系统作出自然地划分之后,希尔伯特在历史上第一次明确地提 出了选择和组织公理系统的

15、原则,即相容性,独立性,完备性。如此组织起来的公理系统中,通 过否定或者替换其中的一条或几条公理,就可以得到相应的某种几何。这样的做法,不仅给出了 已有几门非欧几何的统一处理, 而且还可以引出新的几何学, 例如希尔伯特本人在其 几何基础 中就建立了阿基米德公理在其中不成立的新几何,即所谓非阿基米德几何。希尔伯特无疑是现代 公理化方法的奠基人。5 公理化方法的影响与局限公理化方法中所体现的演绎证明为人类提供了严格思维的模式。 从几条不言自明的公理出发， 通过逻辑的链条，推导出成百上千条定理。这种演绎论证的思维模式影响所及已远远超出了几何 学甚至数学领域，对人类社会的进步和发展有不可估量的作用。领

16、导法国大革命和美国独立战争 的思想家、政治家们都接受了欧几里得数学思维的影响( 人权宣言 , 独立宣言 ) 。另外，有记载说美国南北战争时期的总统林肯“相信思维能力像肌肉一样也可以通过严格的锻炼而得到加 强” ，为此他想方设法搞到了一本欧几里得的 原本 ，并下决心亲自证明其中的一些定理， 1860 年他自豪地报告说他已基本掌握了原本的前六卷。希尔伯特所发展的现代公理化方法在 20 世纪已远远超出了几何学的范围而成为现代数学甚至 其他科学领域中普遍应用的科学方法。在数学科学领域，它孕育了抽象代数、实变函数论与泛函 分析、拓扑学、公理化概率论等 20世纪的纯粹数学核心领域。在物理学领域，它影响了量

17、子力学 和相对论的产生与发展。在经济学中，也引进了公理化，例如一般经济均衡理论的公理化基础。公理化方法属于演绎思维的范畴。 演绎思维是重要的思维方式， 但当然不是惟一的方式 , 它为 人类提供了严格推理的模式， 但也存在局限性。 笛卡儿就曾在他的一部生前未正式发表的著作 探 求真理的指导原则 5 中深刻地批判了传统的、主要是希腊的研究方法，他认为古希腊人的演绎 推理只能用来证明已经知道的事物，“却不能帮助我们发现未知的事情”。笛卡儿因此提出“需 要一种发现真理的方法”，也就是一种“普遍的科学”，笛卡儿称之为“通用数学”。“通用数 学”的追求导致了笛卡儿解析几何的发明。从方法论角度看，解析几何显

18、然不是演绎思维和公理 化方法的产物。因此，演绎思维和公理化方法需要与其他科学思维方法相辅相成，相得益彰，科 学的进步和发展是不同思维方法的交响乐。6 集合论悖论及其对公理化方法的影响实际上，在希尔伯特的公理化方法中，有一个问题一直困扰着希尔伯特，那就是对欧氏几何 相容性的证明。在希尔伯特心目当中，这种相容性是任何类型的公理化系统的必要条件，所以他 一直试图对其进行证明。在直接证明不得的情况下，借助解析几何，希尔伯特将欧氏几何的相容 性问题转化成了算术的相容性问题； 1900年巴黎数学家大会上， 在他所提出的著名的 23个问题中， 第二个问题就是算术公理的相容性。之后不久，这个问题由于罗素悖论的

19、出现变得更加尖锐。1900年前后集合论中出现了 3个著名的悖论 : 布拉利 -福尔蒂悖论 (1897) 、康托尔悖论 (1899)和罗素悖论 (1903) 。布拉利 - 福尔蒂悖论是一个关于序数的悖论；康托尔悖论是关于基数的悖论；罗素悖论是关于日常语言和逻辑的悖论。由于布拉利- 福尔蒂悖论、康托悖论都涉及非常专门的术语和概念，人们认为这些悖论只是因为某些推理环节上的失误所造成的，所以在当时并没有引 起重视；而罗素悖论则清楚明了地指出了集合论本身存在着矛盾，从此这些悖论开始受到人们的 关注。 1919年，罗素又给出上述悖论一个通俗形式，使得这个悖论为更多的人所了解。这就是著 名的理发师悖论 :

20、某乡村理发师宣布了一条原则，他只给本村那些不给自己理发的人理发。问谁 给理发师理发？如果理发师给自己理发，那么他是自己给自己理发的人，据村中的理发师只给本 村那些不给自己理发的人理发，他不应给自己理发；如果理发师不给自己理发，那么他是不给自 己理发的人，据村中的理发师只给本村那些不给自己理发的人理发，他应该给自己理发。这是矛 盾的。为了消除集合论中存在的悖论，数学家们对集合论进行了公理化。第一个集合论公理系统是 1908年由策梅洛提出的，这个公理系统后来由弗兰克尔进行了改进，现在称为策梅洛- 弗兰克尔公理系统。通过建立集合论的公理化，集合论所存在的悖论被化解了，没有发现新的悖论；但是以后会 不

21、会再出现新的悖论，不得而知，所以集合论公理化体系的相容性问题还是没有得到解决。对此 庞伽莱说 : “为了防备狼，羊群已用篱笆圈了起来，但却不知道圈里有没有狼”。随后，在解决集合论悖论的进一步尝试过程中， 形成了关于数学基础的三大学派 : 以罗素为代 表的逻辑主义，以布劳威尔为代表的直觉主义和以希尔伯特为代表的形式主义。希尔伯特的形式 主义纲领是他早年关于几何公理化方法的发展与深化。希尔伯特感觉到之所以会产生类似于罗素 悖论中所存在的悖论性因素，主要是由于其陈述中的“语义”内容所导致的。他相信铲除在数学 中出现这种悖论可能性的一个方式，就是为全部数学构建一种纯句法的、实质上“无意义”的框 架，在

22、其中可以谈论数学的真或假，这样的框架就是形式化了的公理系统。希尔伯特纲领所要做 的就是把整个数学事实全部形式化，以防止悖论跨越自然语言与数学语言的界限而侵入纯洁的数 学世界。希尔伯特形式系统由语言、公理、推理规则三个部分组成。在希尔伯特的形式主义纲领 中, 相容性问题仍然是希尔伯特首要解决的任务， 对此希尔伯特提出了一种证明的设想 “元数学” ， 元数学第一次使一门数学理论整体的作为一个确定的、可用数学方法来研究的研究对象。在 1928年意大利博洛尼亚国际数学家大会上， 希尔伯特自信地说 :“利用这种新的数学基础 人们完全可以称之为证明理论，我将可以解决世界上所有的基础问题。” 6 所有有意义

23、的论述 都将被证明或证伪，那样就不存在悬而未决的命题了。希尔伯特对算术形式化满怀坚定的希望， 同时激励国际数学家去发现或创造这样的形式化。正当人们感到希望的时候，哥德尔证明了一条 定理 (1931) ，明白无误地指出了希尔伯特关于算术公理相容性的“元数学”纲领不可能实现。7 哥德尔不完全性定理及其对公理化方法的影响1931年哥德尔在其“论数学原理及其有关系统中的形式不可判定命题”的论文中证明了 一条定理 : 任一足以包含自然数算术的形式系统， 如果是相容的， 则它一定存在有一个不可判定命 题，即存在某一命题 A使A与A的否定在该系统中皆不可证。系统中存在不可判定的命题也叫该 系统的“不完全性”

24、，所以哥德尔的这个定理通常被称为“哥德尔第一不完全性定理”，这个定 理表明 : 任何形式系统都不能完全刻画数学理论，总有某些问题从形式系统的公理出发不能解答。 情况甚至更糟， 在第一不完全性定理的基础上， 哥德尔进一步证明了 : 在真的但不能由公理来证明 的命题中，包括了这些公理是相容的 （无矛盾 ）这一论断本身。也就是说，一个足以包含自然数算 术的公理系统是相容的，那么这种相容性在该系统内是不可证明的。这就是所谓的“哥德尔第二 不完全性定理”，第一不完全性定理与第二不完全性定理合称为“哥德尔不完全性定理”。哥德 尔不完全性定理揭示了形式化方法不可避免的局限性，指出了形式系统的相容性在本系统内

25、不能 证明，使希尔伯特证明形式系统相容性的“元数学”方案受到了沉重的打击。哥德尔不完全性定理是属于某种否定性结果，然而它却带来了数学基础研究的划时代变革。 一方面，哥德尔不完全性定理破天荒的第一次分清了数学中“真”与“可证”是两个不同的概念。 可证的命题是真的；但真的命题却不一定可证。对于形式系统，“可证”是可以机械地实现的； 而“真”需要进一步的思想能动性及超穷工具，即没有任何一类数学可以足够彻底地、完全地表 达日常的真概念，这一切突破了人们对数学真理的传统理解，将对数学真理的认识推向了崭新的 层次。另一方面，虽然哥德尔不完全性定理指出了形式化数学的局限性，但这并不意味着公理化 方法的消亡。相反它极大地促进了希尔伯特“元数学”的发展。由于指出了有限方法的不可能 人们在放宽工具限制的情况下，创造了“超限归纳法”等一