第六讲公理化思想及构成公理化体系的要求.pptVIP

《几何原本》 欧几里得（Euclid of Alexandria; 约公元前 330 ? 公元前 275） 公理化方法使数学丰富的理论建立在最简单明了的、不容怀疑的事实基础之上，容易明辨是非。比如，几何学的正确性归结于诸如“等量加等量，总量仍相等”等公理体系的正确性。 公理化方法也是数学逻辑严密性的一种表现。在人类的每一个认识领域，当经验知识积累到相当数量时，就需要进行综合、整理，使之条理化、系列化，从而形成新的概念理论以更新系统，以实现认识从感性阶段到理性阶段的飞跃。从理性认识的初级水平发展到高级水平，又表现为抽象程度更高的公理化体系。 公理体系 公理体系的完善 希尔伯特（David Hilbert; 1862 ? 1943） 公理体系的完善 6 个不加解释的定义包括： 对《几何原本》的批评 书中有部分的定义不清晰，阅读后反而令人更迷惘。 在论证过程之中，欧几里得使用了一些公理系统未有提及的假設。 第五公设（平行公设） 第五公设：若一直线落在两直线上所构成的同旁内角和小于两直角，那么把两直线无限延长，它们将在同旁内角和小于两直角的一侧相交。 在欧氏几何的所有公设中，唯独这条公设显得比较特殊，它的叙述不像其它公设那样简洁、明了，当时就有人怀疑它不像是一个公设而更像是一个定理，并产生了从其它公设和定理推出这条公设的想法。欧几里得本人对这条公设似乎也心存犹豫，并竭力推迟它的应用，一直