《数学公理化方法》课件

第四讲

构建数学理论的基本方法

——公理化方法第四讲

构建数学理论的基本方法

——公理化方法1

本讲内容数学公理化方法的历史演进过程——关于几何公理体系实质公理化与形式公理化数学公理化方法的逻辑特征

本讲内容2所谓公理化方法，就是指从尽可能少的原始概念和不加证明的原始命题（即公理、公设）出发，按照逻辑规则推导出其它命题，建立起一个演绎系统的方法。所谓公理化方法，就是指从尽可能少的原始概念和不加证明的原始命3数学上的所谓公理，是数学需要用作自己出发点的少数思想上的规定——恩格斯数学上的所谓公理，是数学需要用作自己出发点的少数思想上的规定4

公理化方法能系统地总结数学知识、清楚地揭示数学的理论基础，有利于比较各个数学分支的本质异同，促进新数学理论的建立和发展。

5现代科学发展的基本特点之一，就是科学理论的数学化，而公理化是科学理论成熟和数学化的一个主要特征。现代科学发展的基本特点之一，就是科学理论的数学化，而公理化是6公理化方法的发展，大致经历了这样三个阶段：实质（或实体）公理化阶段、形式公理化阶段和纯形式公理化阶段，用它们建构起来的理论体系典范分别是《几何原本》、《几何基础》和ZFC公理系统。《数学公理化方法》PPT课件7数学公理化方法的历史演进——关于几何公理体系《数学公理化方法》PPT课件8欧几里德几何历史上第一个用公理化方法去建构数学理论体系的是欧几里德，他的工作集中体现在他的《几何原本》中。Quotations:"ThelawsofnaturearebutthemathematicalthoughtsofGod.""Thereisnoroyalroadtogeometry."欧几里德几何历史上第一个用公理化方法去建构数学理论体系的是9欧几里得欧几里得10《几何原本》受到了毕达哥拉斯学派和亚里士多德的影响毕达哥拉斯学派开创了把几何学作为证明的演绎学科来进行研究的方向。亚里士多德首创造公理化思想，提出了逻辑学的“三段论公理体系”。《数学公理化方法》PPT课件11欧几里德首先指明了几何学的研究对象，即点、线、面，在对这些对象进行“定义”（其实只是说明）以后，引进了关于这些对象的一些明显的事实作为不加证明而采用的5个公设，进而又引进了更为一般的5个断言作为公理，他通过这些公理、公设，逐步推演出465个命题。欧几里德首先指明了几何学的研究对象，即点、线、面，在对这些对12《几何原本》的问世，在数学的发展史上树立了一座不朽的丰碑，对数学乃至科学的发展起了巨大的推动作用。它也成为公认的、历史上第一部巨大的科学典籍。它奠定了数学这门科学必须依照逻辑要求论述其规律的基础。《数学公理化方法》PPT课件13它基本上完善了初等几何的体系，这正如黑格尔所说：“初等几何就欧几里得所遗留给我们的内容而言，已经可以看作相当完备了，不可能有更多的进展”。它基本上完善了初等几何的体系，这正如黑格尔所说：“初等几何就14它所体现的演绎美对数学美学思想的发展也起到了不可低估的作用，它让“世界第一次目睹了一个逻辑体系的奇迹，这个逻辑体系如此精密地一步一步推进……，推理的这种可赞叹的胜利，使人类理智获得了为取得以后的成就所必须的信心。（爱因斯坦语）。它所体现的演绎美对数学美学思想的发展也起到了不可低估的作用，15几何的辉煌之处就在于只用很少的公理而得到如此之多的结果。它倡导的公理化方法，为数学家和物理学家树立了如何建立科学理论体系的光辉典范。几何的辉煌之处就在于只用很少的公理而得到如此之多的结果。16牛顿采用欧几里德的公理化方法，把他之前的众多的物理学家（如哥白尼、伽俐略、开普勒等）研究的力学知识排列成逻辑的体系，组成一个有机的整体。他的名著《自然哲学的数学原理》从力学三大运动定律出发，按照数学的逻辑推理把力学定理逐个必然地引申出来。《数学公理化方法》PPT课件17

AboutElementsTheElementshavebeenstudiedforover20centuriesinmanylanguagesstarting,initsoriginalGreekform,theninArabic,Latin,andthentomodernlanguagesofthepresenttime.

AboutElements18Itisalsotheworld'ssecondmostpopularbook,comingonlybehindtheHolyBiblewhichisextraordinaryconsideringhowmanybooksthereareintheworld.Itisalsotheworld'ssecond19Greekversion(888)LatinVersion(1482)《数学公理化方法》PPT课件20EnglishVersion

EnglishVersion

21《数学公理化方法》PPT课件22“此书有四不必：不必疑、不必揣、不必试、不必改．有四不可得：欲脱之不可得，欲驳之不可得，欲减之不可得，欲前后更置之不可得。“此书有四不必：不必疑、不必揣、不必试、不必改．有四不可得：23有三至三能：似至晦，实至明，故能以其明明他物之至晦；似至繁，实至简，故能以其简简他物之至繁；似至难，实至易，故能以其易易他物之难。易生于简，简生于明，综其妙在明而已”。——徐光启《几何原本杂议》有三至三能：似至晦，实至明，故能以其明明他物之至晦；似至繁，24中文版

1606年，由意大利传教士利玛窦口译，明代进士、数学家徐光启执笔，合作译完欧几里得《几何原本》前6卷，1607年在北京雕版刊行．徐光启亲自写了《刻几何原本序》，手迹至今犹存。中文版

1606年，由意大利传教士利玛窦口译，明代进士、25徐光启和利玛窦译的《几何原本》前6卷，乃是东方的最早译本(不计阿拉伯文本)。较俄译本(1739)、瑞典文本(1744)、丹麦文本(1745)、波兰文本(1817)都早。徐光启和利玛窦译的《几何原本》前6卷，乃是东方的最早译本(不26徐光启和利玛窦合译的《几何原本》语言通俗，错误很少。其中的许多数学译名都是从无到有，边译边创造的，而且都十分恰当。《数学公理化方法》PPT课件27“几何”一词的选用，其他如点、直线、平行线、角、三角形、四边形、有理数，无理数等都是这个译本首先定下来的。这些名词在我国一直沿用至今，而且还影响到日本、朝鲜等邻国。“几何”一词的选用，其他如点、直线、平行线、角、三角形、四边28只有少数名词后来有所改动。1857年，清代数学家李善兰与英国传教士伟烈亚力合作续译的《几何原本》后9卷正式刊行。《数学公理化方法》PPT课件29非欧几何非欧几里得几何是一门大的数学分支，一般来讲，它有广义、狭义、通常意义这三个方面的不同含义。所谓广义式泛指一切和欧几里得几何不同的几何学，狭义的非欧几何只是指罗氏几何来说的，至于通常意义的非欧几何，就是指罗氏几何和黎曼几何这两种几何。非欧几何非欧几里得几何是一门大的数学分支，一般来讲，它有广30非欧几何长期以来，不少数学家就对第五公设（即平行公设）持保留态度。若平面上一直线和两直线相交，当同旁两内角之和小于二直角时，则两直线在这一侧延长后一定相交。非欧几何31因为它在陈述和内容上显得复杂和累赘。人们怀疑这条公设是多余的，它可能能从其它公设、公理中逻辑地推导出来。《数学公理化方法》PPT课件32而且进一步认为，欧几里得之所以把它当作公设，只是因为他未能给出这一命题的证明。因而数学家们纷纷致力于证明第五公设，据说在欧几里得以后的两千多年时间里，几乎难以发现一个没有试证过第五公设的大数学家。而且进一步认为，欧几里得之所以把它当作公设，只是因为他未能给33ProclusDiadochus普罗克洛斯（411—485）,GreeceJohnPlayfair（1748—1819）,ScotlandAdrien-MarieLegendre（1752—1833），FranceProclusDiadochusJohnPlayfai34但是所有试证第五公设的努力均归于失败，在这些失败之中唯一引出的正面结果便是一串与第五公设等价的命题被发现。普雷菲尔（JohnPlayfair）公设：“在平面上过直线外一点只能作一条和这直线不相交的直线”。《数学公理化方法》PPT课件35“三角形的内角和等于两直角”。“存在着相似三角形”等。由于普雷菲尔公设形式最为简明，因此受到普遍采用，现在的教科书中也常用这一叙述形式来替代第五公设。《数学公理化方法》PPT课件36其实，普雷菲尔公设由于包含了平行线的存在性，其与其它欧几里得公理、公设并不独立，更确切的等价命题应为：“通过不在已知直线上一点，至多可引一条与该已知直线平行的直线”（它被希尔伯特公理系统所采用，称为“平行公理”）。其实，普雷菲尔公设由于包含了平行线的存在性，其与其它欧几里得37在总结前人失败教训的基础上，1826年，俄国年轻的数学家罗巴切夫斯基（NicolaiLobachevsky）从问题的反面考虑，大胆地提出了与前人完全不同的信念：《数学公理化方法》PPT课件38首先，他认为第五公设不能以其余的几何公理作为前提来进行证明，即第五公设相对于其它公理、公设是独立的。其次，更进一步，他认为除去第五公设成立的欧几里得几何之外，还可以有第五公设不成立的新几何系统存在。首先，他认为第五公设不能以其余的几何公理作为前提来进行证明，39于是，他在剔除第五公设而保留欧氏几何其余公理、公设的前提下，引进了一个相反于第五公设的公理：“过平面上一已知直线外的一点至少可以引两条直线与该已知直线不相交”。《数学公理化方法》PPT课件40这样，罗巴切夫斯基就构造出来了一个新的几何系统即罗巴切夫斯基几何系统，它与欧几里得几何系统相并列。《数学公理化方法》PPT课件41后来，人们又证明了这两个部分地互相矛盾的几何系统竟然是相对相容的，亦即假定其中之一无矛盾，则另一个必定无矛盾。这样，罗氏几何的地位就得到了确立。后来，人们又证明了这两个部分地互相矛盾的几何系统竟然是相对相42几乎在罗巴切夫斯基创立非欧几何学的同时，匈牙利数学家鲍耶·雅诺什也发现了第五公设不可证明和非欧几何学的存在。鲍耶在研究非欧几何学的过程中也遭到了家庭、社会的冷漠对待。几乎在罗巴切夫斯基创立非欧几何学的同时，匈牙利数学家鲍耶·雅43他的父亲——数学家鲍耶·法尔卡什认为研究第五公设是耗费精力劳而无功的蠢事，劝他放弃这种研究。但鲍耶·雅诺什坚持为发展新的几何学而辛勤工作。终于在1832年，在他的父亲的一本著作里，以附录的形式发表了研究结果。他的父亲——数学家鲍耶·法尔卡什认为研究第五公设是耗费精力劳44高斯也发现第五公设不能证明，并且研究了非欧几何。但是高斯害怕这种理论会遭到当时教会力量的打击和迫害，不敢公开发表自己的研究成果，只是在书信中向自己的朋友表示了自己的看法，也不敢站出来公开支持罗巴切夫斯基、鲍耶他们的新理论。高斯也发现第五公设不能证明，并且研究了非欧几何。45FoundersofNon-EuclideanGeometry

NikolaiIvanovichLobachevsky(1793-1856)RussiaJohannCarlFriedrichGauss(1777-1855)GermanyFoundersofNon-EuclideanGeom46罗巴切夫斯基俄罗斯数学家，非欧几何的早期发现人之一。罗巴切夫斯基在尝试证明平行公理时发现以前所有的证明都无法逃脱循环论证的错误。于是，他作出假定：过直线外一点，可以作无数条直线与已知直线平行。如果这假定被否定，则就证明了平行公理。罗巴切夫斯基俄罗斯数学家，非欧几何的早期发现人之一。47然而，他不仅没有能否定这个命题，而且用它同其他欧氏几何中与平行公理无关的命题一起展开推论，得到了一个逻辑合理的新的几何体系—非欧几里得几何学，这就是后来人们所说的罗氏几何。然而，他不仅没有能否定这个命题，而且用它同其他欧氏几何48罗氏几何的创立对几何学和整个数学的发展起了巨大的作用，但一开始并没有引起重视，直到罗巴切夫斯基去世后12年才逐渐被广泛认同。罗巴切夫斯基在数学分析和代数学方面也有一定成就。

罗氏几何的创立对几何学和整个数学的发展起了巨大的作用，但一开49匈牙利数学家鲍耶以毕生时间试图证明欧几里德关于平行线不相交的第五公设。在格丁根大学学习时成了著名数学家高斯的密友，保持通信直到1855年高斯逝世。他几乎与科学界完全隔绝，但仍然不倦地研究平行线的公理。匈牙利数学家鲍耶以毕生时间试图证明欧几里德关于平行线不相交50匈牙利数学家鲍耶1804年他把一种证明寄给高斯，高斯指出了其中的缺陷，但他还继续研究。

匈牙利数学家鲍耶1804年他把一种51在罗氏几何创立28年以后，1854年黎曼（GeorgRiemann，1826—1866）又建立了另外一种“过直线外一点不能引出与该直线不相交的直线”的几何新体系——黎曼几何。《数学公理化方法》PPT课件52如所知，黎曼几何在爱因斯坦1915年创立“广义相对论”后，已得到了证实和应用。如所知，黎曼几何在爱因斯坦1915年创立“广义相对论”后，已53黎曼黎曼54“我对于把一切与物理规律结合起来的数学研究非常入迷。”——黎曼“我对于把一切与物理规律结合起来的数学研究非常入迷。”55黎曼德国数学家，对数学分析和微分几何做出了重要贡献，其中一些为广义相对论的发展铺平了道路。他的名字出现在黎曼ζ函数，黎曼积分，黎曼引理，黎曼流形，黎曼映照定理，黎曼-希尔伯特问题，黎曼思路回环矩阵和黎曼曲面中。黎曼德国数学家，对数学分析和微分几何做出了重要贡献，其中一些56他初次登台作了题为“论作为几何基础的假设”的演讲，开创了黎曼几何，并为爱因斯坦的广义相对论提供了数学基础。他在1857年升为格丁根大学的编外教授，并在1859年狄利克雷去世后成为正教授。他初次登台作了题为“论作为几何基础的假设”的演讲，开创了黎曼571851年，黎曼发表博士论文，后来被称为整个19世纪最重要的数学论文。黎曼是狄利克雷（Dirichlet，1805-1859）的学生，他在论文中引用了狄利克雷原理。《数学公理化方法》PPT课件58德国数学家狄利克雷对数论、数学分析和数学物理有突出贡献，是解析数论的创始人之一。曾受教于物理学家欧姆、数学家傅里叶的影响。1855年接任高斯在哥廷根大学的教授职位。德国数学家狄利克雷对数论、数学分析和数学59在分析学方面，他是最早倡导严格化方法的数学家之一。1837年他提出函数是x与y之间的一种对应关系的现代观点。在数论方面，他是高斯思想的传播者和拓广者。在分析学方面，他是最早倡导严格化方法的数学家之一。601863年狄利克雷撰写了《数论讲义》，对高斯划时代的著作《算术研究》作了明晰的解释并有创见，使高斯的思想得以广泛传播。1837年，他构造了狄利克雷级数。1863年狄利克雷撰写了《数论讲义》，对高斯划时代的著作《算611838～1839年，他得到确定二次型

类数的公式。1846年，使用抽屉原理。阐明代数数域中单位数的阿贝尔群的结构。

《数学公理化方法》PPT课件62魏尔斯特拉斯(weierstrass，1815-1897)：“不加证明利用狄利克雷是不恰当的，但是有道理的，我相信我能够得到这个原理的一个证明。”魏尔斯特拉斯(weierstrass，1815-1897)：63魏尔斯特拉斯他是把严格的论证引进分析学的一位大师，为分析严密化作出了不可磨灭的贡献，是分析算术化运动的开创者之一。魏尔斯特拉斯他是把严格的论证引进分析64他证明了（1860）：任何有界无穷点集，一定存在一个极限点。早在1860年的一次演讲中，他从自然数导出了有理数，然后用递增有界数列的极限来定义无理数，从而得到了整个实数系。这是一种成功地为微积分奠定理论基础的理论。他证明了（1860）：任何有界无穷点集，一定存在一个极限点。65为了说明直觉的不可靠，1872年7月18日魏尔斯特拉斯在柏林科学院的一次讲演中，构造了一个连续函数却处处不可微的例子，震惊了整个数学界。这个例子推动了人们去构造更多的函数，这样的函数在一个区间上连续或处处连续，但在一个稠密集或在任何点上都不可微。从而推动了函数论的发展。

为了说明直觉的不可靠，1872年7月18日魏尔斯特拉斯在柏66早在1842年，魏尔斯特拉斯就有了一致收敛的概念，并利用这一概念给出了级数逐项积分和在积分号下微分的条件。1885年，魏尔斯特拉斯所证明的用多项式任意逼近连续函数的定理，是二十世纪的一个广阔研究领域函数构造论，即函数的逼近与插值理论的出发点之一。

早在1842年，魏尔斯特拉斯就有了一致收敛的概念，并利用这一67历史条件不具备，黎曼四十岁便去世了，也没能够证明狄利克雷原理。1853年，庞加莱，柯西等当时最有名气的几位数学家完全否定了黎曼的博士论文。《数学公理化方法》PPT课件68庞加莱、柯西庞加莱、柯西69如此美妙而又有广泛应用前景的狄利克雷原理已经永远的从我们的视野中消失了。1899年，希尔伯特：“原理稍加修改以后将会是正确的，结论都满足修改后的原理。”《数学公理化方法》PPT课件70仅仅增加一个“弱”字，复活了原理与黎曼，这是希尔伯特一生中最重要的贡献，直接后果导致泛函分析的诞生。马克思有句非常有名的话；“倒洗澡水，不要把里面的小孩都倒掉。”《数学公理化方法》PPT课件71罗巴切夫斯基几何（也叫双曲几何）与黎曼几何（也叫椭圆几何）这两种几何统称为非欧几何。非欧几何的发现是数学史上一个重要的里程碑，而欧氏几何与非欧几何的天壤之别，根源仅仅在于一条平行公理的不同，这充分显示出公理化方法的威力。《数学公理化方法》PPT课件72非欧几何的创立大大地促进了几何基础研究的进展，也大大地提高了公理化方法的信誉，接着便有许多数学家致力于公理化方法的研究。《数学公理化方法》PPT课件731871—1872年间，德国数学家康托（Cantor）与戴德金（Dedekind）不约而同地拟成了连续性公理。1882年，德国数学家巴士（Pasch）又拟成了顺序公理。正是在这样的基础上，希尔伯特于1899年发表了《几何基础》一书。1871—1872年间，德国数学家康托（Cantor）与戴德74他通过引进一些基本概念（基本元素包括点、线、面，基本关系包括结合、顺序、合同），用结合、顺序、合同、平行、连续这5组公理（共20条）来确定基本概念的涵义并进行逻辑演绎，展开几何理论，形成了一个简明、完整、逻辑严谨的几何形式化公理系统，从而最终地解决了欧氏几何的缺陷，完善了几何学的公理化方法。《数学公理化方法》PPT课件75不仅如此，该书还给出了证明一公理系统相容性、独立性的普遍原则，从此公理化方法进入了数学的其它各个分支。20世纪以来数学家们以希尔伯特的几何公理系统为楷模，努力为各个数学分支建立公理化体系。《数学公理化方法》PPT课件76几乎所有数学和逻辑的分支与某些物理学以及其它科学的分支，从二十世纪开始，都经过了公理方法的分析研究。富兰克林

几乎所有数学和逻辑的分支与某些物理学以及其它科学的分支，从二77DavidHilbert(1862-1943)DavidHilbert(1862-1943)78GermanmathematicianwhosetforththefirstrigoroussetofgeometricalaxiomsinFoundationsofGeometry(1899).Healsoprovedhissystemtobeself-consistent.Hismanycontributionsspannumbertheory，mathematicallogic,differentialequations,andthethree-bodyproblem.HealsoprovedWaring'stheorem.《数学公理化方法》PPT课件79AttheParisInternationalCongressof1900,Hilbertproposed23outstandingproblemsinmathematicstowhosesolutionshethoughttwentiethcenturymathematiciansshoulddevotethemselves.TheseproblemshavecometobeknownasHilbert'sproblems,andanumberstillremainunsolvedtoday.AttheParisInternationalCon80“你使得我们所有的人，都仅仅在思考你想让我们思考的问题”“你使得我们所有的人，都仅仅在思考你想让我们思考的问题”81

实质公理化（古典公理化）

与

形式公理化（现代公理化）

实质公理化（古典公理化）

与

形式公理化（现代公理化）82实质公理化方法欧几里得的公理体系被认为是实质公理系统，也就是说，这种公理体系实质上是对经验知识的系统整理。这种公理体系具有特定的对象，公设、公理的确立只是为了刻画这些对象的根本特点，或者说，这一公理体系被认为是从属于这些特定对象的。实质公理化方法83正因为如此，研究对象先于公理给出，它是一种“对象——公理——演绎”系统。其公理具有“自明性”。由于这些对象具有明显的直观背景——现实空间（因而是“实”的或“具体”的），从而人们就可以用所谓的直观性来作为公理的判断依据。正因为如此，研究对象先于公理给出，它是一种“对象——公理——84形式公理化方法希尔伯特的公理体系被认为是形式公理系统，也就是说，公理系统中的基本概念只具“形式”而不具“内容”，公理组所阐述的是对基本概念的规定，而不是基本概念“自明”的特征。形式化公理系统反映的不只是特定的研究对象的性质，而是许多具有相同结构的对象的共同性质。形式公理化方法85也就是说，不再是由对象决定公理，而是由公理来决定对象。谁能满足公理组所要求的条件，谁就可以作为该公理系统的基本对象。所以只要满足给定的公理，称它们是什么是无关紧要的，这正如希尔伯特所说：

“我们必定可以用桌子、椅子和啤酒来代替点、线、面”。也就是说，不再是由对象决定公理，而是由公理来决定对象。86例子希尔伯特公理体系中的结合公理(I3)：每一条直线至少有两个点。其实表示的是以下逻辑结构：∀x∈L(∃y∈p(∃z∈p((y≠z)∧(yRx)∧(zRx))))

例子希尔伯特公理体系中的结合公理(I3)：每一条直线至少有两87即，每个L类对象都有两个不同的p类对象与之发生R关系。解释：通常意义下的直线(L)、点(p)及点在直线上(R)；球面上的大圆(L)、对径点(p)、对径点在大圆上(R)。即，88正因为如此，在形式化公理系统中，基本概念规定为不加定义的原始概念，它不是先于公理而确定，而是与公理同时出现，其涵义、特征和范围由公理组隐含确定。而且，对原始概念的解释被当作系统之外的事，在系统内，它只是作为一种“假设”。《数学公理化方法》PPT课件89即是说，形式化公理系统与实质公理系统不同，是一种“假设——演绎”系统。形式公理排除直观默认，其公理也不再具有“自明性”，而只是作为演绎基础的“假设”。即是说，形式化公理系统与实质公理系统不同，是一种“假设——演90形式公理系统的发展推动了数学基础的研究，也导致了数学观的深刻变化：数学研究重要的并不在于研究的对象是什么；而在于对象间的关系（逻辑结构和形式）。形式公理化方法使数学理论达到了更高的抽象，并扩大了它的应用范围。《数学公理化方法》PPT课件91数学公理化方法的逻辑特征

（或基本问题、基本内容）数学公理化方法的逻辑特征

（或基本问题、基本内容）92运用数学公理化方法的关键在于如何确立基本概念和公理，这也就是数学公理化方法的基本问题或基本内容。基本概念应是最原始、最简单的思想规定。在形式化公理系统里，基本概念是由公理组隐含地定义的。《数学公理化方法》PPT课件93公理是对基本概念相互关系的规定。它的选取和设置必须符合三条要求，即相容性、独立性和完备性，这三个方面构成了公理化方法的逻辑特征，这也是判别一个公理系统是否科学合理的准则。公理是对基本概念相互关系的规定。它的选取和设置必须符合三条要94相容性（或无矛盾性、协调性）相容性是指一个公理系统不能自相矛盾,即该系统中的所有公理连同它的一切推论在内,不含有任何相互矛盾的命题。很显然，这是对公理系统的最基本要求，否则，就不具有存在的价值。相容性（或无矛盾性、协调性）95如何证明给定的公理系统的相容性呢？很显然，想直接通过“由公理组作出全部可能的推论并指出其中没有矛盾”这种方法来证明一般来说是很困难的。《数学公理化方法》PPT课件96原因很简单，因为全部可能的推论一般是无限的，我们很难用穷举的方法来逐一验证，而经过大量但却是有限的推导没有导出矛盾，并不等于永远推不出矛盾。原因很简单，因为全部可能的推论一般是无限的，我们很难用穷举的97这种方法只适合于命题项数较少的小范围的理论系统，如数理逻辑中的真值函数公理系统和谓词演算公理系统等。数学上常采用一种间接的方法即“解释法”或“模型法”来证明。这种方法只适合于命题项数较少的小范围的理论系统，如数理逻辑中98模型法的基本思想构造模型（或解释）的基本方法如下：将公理组中的每一不定义的概念与某一对象的集合相对应，而且要求对应于不同概念的集合没有公共元素，然后使公理组中的基本概念的每一关系对应着对应集合元素间的某一确定的关系，我们把所得的集合与关系的全体叫做解释域。模型法的基本思想99这样，公理组中的每一条公理自然地对应于解释域中的某一个命题（或性质）。如果公理组中的全部公理在这个解释下的命题均为真的，那么，我们就把这个解释称为是所给公理体系的模型。这样，公理组中的每一条公理自然地对应于解释域中的某一个命题（100即能作出，“如果某一公理体系（即原型）是相容的，那么另一公理体系也是相容的”的判断。因为一个公理体系有无矛盾归根结底在于其公理组有无矛盾，而一个公理组的无矛盾性可由其模型的无矛盾性来保证，否则的话，公理组的矛盾将会导出模型的矛盾。《数学公理化方法》PPT课件101用解释法（或模型法）能够证明一个公理体系的相对相容性。解释法实质上是将一个公理系统的无矛盾性证明化归为了另一公理系统的无矛盾性证明，是一种间接证明。用解释法（或模型法）能够证明一个公理体系的相对相容性。102罗氏几何的模型自从罗氏几何诞生后，由于罗氏平行公理是如此地为常识所不容，这才激起了人们对于数学系统地无矛盾性证明的兴趣和重视。虽然在罗氏公理系统的展开中一直没有出现矛盾，却不能保证它在今后的展开中一定不出矛盾。罗氏几何的模型103后来，人们在欧氏几何系统中构造出了一个个罗氏几何的模型，在数学史上比较著名的模型有：庞加莱模型：后来，人们在欧氏几何系统中构造出了一个个罗氏几何的模型，在数104在欧氏平面上画一条直线将其分为上下两个半平面，把不包括这条直线在内的上半平面作为罗氏平面，其上的欧氏点当作罗氏几何的点，而上半平面内圆心在该直线上的半圆或垂直于该直线的半直线算作是罗氏几何的直线。在欧氏平面上画一条直线将其分为上下两个半平面，把不包括这条直105庞加莱模型，如图所示。《数学公理化方法》PPT课件106可以验证，罗氏几何的公理在这个模型上都是成立的。在这里，我们只朴素地来说一说罗氏平行公理是成立的。可以验证，罗氏几何的公理在这个模型上都是成立的。107如图所示：《数学公理化方法》PPT课件108F.克莱因模型：在欧氏平面内作一个圆，把圆的内部（不包括圆周）当作罗氏平面，圆内部的点即罗氏点，圆的弦算作罗氏几何的直线。容易验证，罗氏几何的公理都可以在这个模型上用欧氏几何的事实加以解释。《数学公理化方法》PPT课件109这样，通过上述模型就把罗氏几何的相容性证明化归为了欧氏几何的相容性证明。人们本来对于欧氏几何的相容性没有怀疑过，但却因为罗氏几何的相容性要由欧氏几何的相容性来保证，从而导致对欧氏几何相容性的重重疑虑。这样，通过上述模型就把罗氏几何的相容性证明化归为了欧氏几何的110后来，人们又在罗氏几何的展开中发现，罗氏几何空间中的极限球面上也可构造欧氏模型，亦即欧氏几何的全部公理能在罗氏几何的极限球上实现，这样欧氏几何的相容性又可由罗氏几何的相容性来保证。这说明，欧氏几何与罗氏几何的公理系统虽然不同，但却是相对相容或互为相容的。后来，人们又在罗氏几何的展开中发现，罗氏几何空间中的极限球面111人们当然不满足于两者互相之间的相对相容性证明，因为看上去较为合理的欧氏几何的无矛盾性竟要由很不合理的罗氏几何来保证。因此，必须重新寻求欧氏几何的相容性证明。

《数学公理化方法》PPT课件112由于那时已经有了解析几何，等于在实数系统中构造了一个欧氏几何的模型，这就把欧氏几何的相容性进一步地归结到了实数论的相容性。但实数论的相容性如何呢？由于那时已经有了解析几何，等于在实数系统中构造了一个欧氏几何113后来，戴德金把实数论德无矛盾性归结到了自然数系统的无矛盾性，而Frege又把自然数系统的无矛盾性归结为集合论的无矛盾性。然而，集合论的无矛盾性又如何呢？至今还是个谜。后来，戴德金把实数论德无矛盾性归结到了自然数系统的无矛盾性，114独立性独立性是指在一个公理系统中，公理组中任何一个公理都不能由其它公理推出。独立性亦即要求系统中的公理数目减少到最低限度，不允许公理集合中出现多余的公理。因为多余的公理总可以作为定理推证出来，又何必再把它列为公理呢？

独立性独立性是指在一个公理系统中，公理组中任何一个公理都不能115换言之，独立性实际上是要求公理系统中的每一条都有存在的必要性，从而保证公理的简洁性。公理系统独立性的证明可以转化为相容性的证明。换言之，独立性实际上是要求公理系统中的每一条都有存在的必要性116我们有下述定理：如果一个相容的公理系统Σ中的某一公理A的否定，与公理系统Σ中的其它公理不矛盾（即相容），当且仅当公理A在该公理系统Σ中是独立的。《数学公理化方法》PPT课件117而公理系统的相容性可以采用解释法或模型法，因此解释法或模型法同样可以证明公理系统的独立性。我们仍以欧氏和罗氏两个几何公理系统为例。而公理系统的相容性可以采用解释法或模型法，因此解释法或模型法118如前所述，在欧氏和罗氏两个几何公理系统中，除了欧氏平行公设和罗氏平行公理互为相反之外，其余的公设、公理和原始概念均相同。通常人们把两个公理系统的公共部分称为绝对几何公理系统。《数学公理化方法》PPT课件119因之，欧氏平行公设在欧氏几何公理系统中是否独立于其它公理之事，无非就是欧氏平行公设能否在绝对几何公理系统中作为定理而证明之。而只要罗氏几何公理系统是无矛盾的，就确保了欧氏平行公设对于绝对几何公理系统的独立性。因之，欧氏平行公设在欧氏几何公理系统中是否独立于其它公理之事120否则，若能在绝对几何公理系统中把欧氏平行公设作为定理来证明的话，则罗氏几何公理系统便是矛盾系统，因为此时欧氏平行公设和它的一个否命题即罗氏平行公理在系统中同时成立。《数学公理化方法》PPT课件121完全类似