《公理化体系》样本.docx
- 文档编号:26968008
- 上传时间:2023-06-24
- 格式:DOCX
- 页数:29
- 大小:64.88KB
《公理化体系》样本.docx
《《公理化体系》样本.docx》由会员分享,可在线阅读,更多相关《《公理化体系》样本.docx(29页珍藏版)》请在冰豆网上搜索。
《公理化体系》样本
公理化方法
公理化方法公理化思想任何真正的科学都始于原理,以它们为基础,并由之而导出一切结果来随着假设演绎模型法的进一步发展,经济学日益走向公理化方法。
公理化是一种数学方法。
最早出现在二千多年前的欧几里德几何学中,当时认为”公理’(如两点之问可连一直线)是一种不需要证明的自明之理,而其它所谓”定理”(如三对应边相等的陌个三角形垒等)则是需要由公理出发来证明的,18世纪德国哲学家康德认为,欧几里德几何的公理是人们生来就有的先验知识,19世纪末,德国数学家希尔伯特(DavidHilbert)在她的几何基础研究中系统地挺出r数学的公理化方法。
简介
恩格斯曾说过:
数学上的所谓公理,是数学需要用作自己出发点的少数思想上的规定。
公理化方法能系统的总结数学知识、清楚地揭示数学的理论基础,有利于
比较各个数学分支的本质异同,促进新数学理论的建立和发展。
现代科学发展的基本特点之一,就是科学理论的数学化,而公理化是科学理论成熟和数学化的一个主要特征。
公理化方法不但在现代数学和数理逻辑中广泛应用,而且已经远远超出数学的范围,渗透到其它自然科学领域甚至某些社会科学部门,并在其中起着重要作用.
历史发展
产生
公理化方法发展的第一阶段是由亚里士多德的完全三段论到欧几里得《几何原本》的问世.大约在公元前3世纪,希腊哲学家和逻辑学家亚里斯多德总结了几何学与逻辑学的丰富资料,系统地研究了三段论,以数学及其它演绎的学科为例,把完全三段论作为公理,由此推导出其它所有三段论法,从而使整个三段论体系成为一个公理系统.因此,亚里斯多德在历史上提出了第一个成文的公理系统.
亚里斯多德的思想方法深深地影响了当时的希腊数学家欧几里得.欧几里得
把形式逻辑的公理演绎方法应用于几何学,从而完成了数学史上的重要著作《几何原本》•她从古代的量地术和关于几何形体的原始直观中,用抽象分析方法提炼出一系列基本概念和公理•她总结概括出10个基本命题,其中有5个公设和5条公理,然后由此出发,运用演绎方法将当时所知的全部几何学知识推演出来,整理成为演绎体系.《几何原本》一书把亚里斯多德初步总结出来的公理化方法应用于数学,整理、总结和发展了希腊古典时期的大量数学知识,在数学发展史上树立了一座不朽的丰碑.
公理学研究的对象、性质和关系称为”论域”,这些对象、性质和关系,由初始概念表示.例如欧氏《几何原本》中只需取”点”、”直线”、”平
面”;”在……之上”、”在……之间”、”叠合”作为初始概念.前三个概念所表示的三类对象和后三个概念所表示的三种关系就是这种几何的论域.按照”一个公理系统只有一个论域”的观点建立起来的公理学,称为实质公理
学.这种公理学是对经验知识的系统整理,公理一般具有自明性.因此,欧氏《几何原本》就是实质公理学的典范.
发展
公理化方法的发展大致经历了这样三个阶段:
实质(或实体)公理化阶段、形式公理化阶段和纯形式公理化阶段,用它们建构起来的理论体系典范分别是
《几何原本》、〈〈几何基础》和ZFC公理系统。
《几何原本》虽然开创了数学公理化方法的先河,然而它的公理系统还有许多不够完善的地方,其主要表现在以下几个方面:
(1)有些定义使用了一些还未确定涵义的概念;
(2)有些定义是多余的;(3)有些定理的证明过程往往依赖于图形的直观;(4)有的公理(即平行公理)是否可用其它公理来证明或代替.这些问题成为后来许多数学家研究的课题,并经过这些问题的研究,使公理化方法不断完善,并促进了数学科学的发展.
第五公设(即平行公设)内容复杂,陈述累赘,缺乏象其它公设和公理那样的说服力,并不自明.因此,它能否正确地反映空间形式的性质,引起了古代学者们的怀疑•从古希腊时代到公元18世纪,人们经过不同的途径和方法对这一问题进行了大量的研究工作,其中萨克里(Saccheri,1667—1733)和兰勃特
(Lambert,1728-1777)等人考虑了两个可能的与平行公设相反的假设,试图证
明出平行公设,可是她们的努力均归于失败.然而,在这些失败中却引出了一串与第五公设相等价的新命题和定理,即非欧几何的公理和定理,它预示了一种新的几何体系可能产生.
19世纪年轻的俄国数学家罗巴切夫斯基(八o6ameBCKu访1792-1856)产生了与前人完全不同的信念:
首先,她认为第五公设不能以其余的公理作为定理来证明;其次,除掉第五公设成立的欧氏几何之外,还可能有第五公设不成立的新几何系统存在.于是,她在剔除第五公设而保留欧氏几何其余公理的前提下,引进与第五公设相反的公理,从而
构造了一个全新的几何系统,它与欧氏几何系统相并列.后来人们又证明了这两个部分地相矛盾的几何系统竟是相对相容的,即假定其中之一无矛盾,则另一个必定无矛盾,这样以来,只要这两个系统是无矛盾的,第五公设与欧氏系统的其余公理就必定独立无关.现在人们就用罗巴切夫斯基的名字命名了这一新的几何学,并把一切不同于欧氏几何公理系统的几何系统统称为非欧几何.
非欧几何的建立在数学史上具有划时代的意义,标志着人们对空间形式的
认识发生了飞跃,从直观空间上升到抽象空间.在建立非欧几何的过程中,公理化方法得到了进一步的发展和完善.
形式化
德国数学家帕斯(MoritzPasch,1843-1930)经过对射影几何公理化基础的
纯逻辑的探讨,第一次从理论上提出了形式公理学的思想.她认为,几何学如果要成为一门真正的演绎科学,最根本的是推导的进行必须完全独立于几何概念的涵义,同样地也必须不以图形为依据,而所考虑的只能是被命题或定义所确定的几何概念之间的关系.就是说,一个公理系统必然要有本系统里不定义的概念,经过这些概念就能够给其它概念下定义,而不定义概念的全部特征必须由公理表示出来.公理能够说是不定义概念的隐定义.有些公理虽然是由经验提出来的,但当选出一组公理之后,必须不再涉及经验及物理意义.公理决不是自明的真理,而是用以产生任一特殊几何的假定.帕斯的这些思想已经表示了形式公理系统的特征.
随着数学的深入研究和射影几何公理系统的建立,形式公理学的概念已经成熟.1899年希尔伯特《几何学基础》一书的发表,不但给出了欧氏几何的一个形式公理系统,而且解决了公理化方法的一系列逻辑理论问题.这本著作成为形式公理学的奠基著作.
希尔伯特几何公理系统,除了有几何模型外,还能够有其它模型(如算术模型),因此它是一个形式公理系统,能够把其初始概念和公理看成是没有数学内容的,数学内容是经过解释赋予它们的,初始概念和公理完全能够用形式语言来陈述.因此,自从《几何学基础》问世以后,不但公理化方法进入了数学的其它各个分支,而且也把公理化方法本身推向了形式化的阶段.
作用意义
分析、总结数学知识
当一门科学积累了相当丰富的经验知识,需要按照逻辑顺序加以综合整理,使之条理化、系统化,上升到理性认识的时候,公理化方法便是一种有效的手段.如近代数学中的群论,便经历了一个公理化的过程.当人们分别研究了许多具体的群结构以后,发现了它们具有基本的共同属性,就用一个满足一定条件的公理集合来定义群,形成一个群的公理系统,并在这个系统上展开群的理论,推导出一系列定理.
数学研究的基本方法
不但对建立科学理论体系,训练人的逻辑推理能力,系统地传授科学知识,以及推广科学理论的应用等方面起到有益的作用,而且对于进一步发展科学理论也有独特的作用.例如在代数方面,由于公理化方法的应用,在群论、域论、理想论等理论部门形成了一系列新的概念,建立了一系列新的联系并导致了一系列深远的结果;在几何方面,由于对平行公设的研究导致了非欧几何的创立•因此,公理化方法也是在理论上探索事物发展规律,作出新的发现和预见的一种重要方法.
科学研究的对象
介乎于逻辑学和数学之间的边缘学科一一数理逻辑,用数学方法研究思维过程中的逻辑规律,也系统地研究数学中的逻辑方法.因此,数学中的公理方法是数理逻辑所研究的一个重要内容.由于数理逻辑是用数学方法研究推理过程的它对公理化方法进行研究,一方面使公理化方法向着更加形式化和精确化的方向发展,一方面把人的某些思维形式,特别是逻辑推理形式加以公理化,符号化.这种研究使数学工作者增进了使用逻辑方法的自觉性.
示范作用
任何一门科学都不但仅是搜集资料,也决不是一大堆事实及材料的简单积累,而都是有其自身的出发点和符合一定规则的逻辑体系.公理化方法对现代理
论力学及各门自然科学理论的表述方法都起到了积极的借鉴作用.例如牛顿在她
的《自然哲学的数学原理》巨著中,系统地运用公理化方法表述了经典力学理论体系;本世纪40年代波兰的巴拿赫完成了理论力学的公理化;爱因斯坦运用公理化方法创立了相对论理论体系.狭义相对论的出发点是两个基本假设:
相对性原理和光速不变原理.爱因斯坦以此为前提,逻辑地演绎出四个推论:
”尺缩效应”、”钟慢效应”、”质量增大效应”和”关系式”.这些就是爱因斯坦运用公理化方法,创立的狭义相对论完整理论体系的精髓.
基本要求
公理是对诸基本概念相互关系的规定,这些规定必须是必要的而且是合理的.因此,一个严格完善的公理系统,对于公理的选取和设置,必须具备如下三个基本要求:
相容性
这一要求是指在一个公理系统中,不允许同时能证明某一定理及其否定理.反之,如果能从该公理系统中导出命题A和否命题非A(记作-A),从A与-A并存就说明出现了矛盾,而矛盾的出现归根到底是由于公理系统本身存在着矛盾的认识,这是思维规律所不容许的.因此,公理系统的无矛盾性要求是一个基本要求,任何学科,理论体系都必须满足这个要求.
独立性
这一要求是指在一个公理系统中的每一条公理都独立存在,不允许有一条公理能用其它公理把它推导出来,同时使公理的数目减少到最低限度.
完备性
这就是要求确保从公理系统中能推出所研究的数学分支的全部命题,也就是说,必要的公理不能减少,否则这个数学分支的许多真实命题将得不到理论的证明或者造成一些命题的证明没有充分的理由.
从理论上讲,一个公理系统的上述三条要求是必要的,同时也是合理的.至于某个所讨论的公理系统是否满足或能否满足上述要求,甚至能否在理论上证明满足上述要求的公理系统确实存在等,则是另外一回事了.应该指出的是,对于一个较复杂的公理体系来说,要逐一验证这三条要求相当困难,甚至至今不能彻底实现.
方法运用
1.要积累大量的经验、数据和资料,对这些经验资料进行分析归纳,使之系统化,最后上升为理论.因为公理系统的建立是以大量的事实为基础,以丰富的经验和已有的科学知识为前提的,设此无彼.
2.数学公理化的目的是要把一门数学整理成为一个演绎系统,而这一系统的出发点就是一组基本概念和公理.因此,要建立一门数学的演绎系统,就要在第一步的基础上,从原有的资料、数据和经验中选择一些基本概念和确定一组公理,然后由此来定义其它有关概念并证明有关命题.选取的基本概念是不定义概念,必须是无法用更原始、更简单的概念去确定其涵义的,也就是说,它是高度纯化的抽象,是最原始最简单的思想规定.
3.在确定了基本概念和公理之后,就要由此出发,经过演绎推理,将一门数学展开成一个严格的理论系统.也就是说,对系统中的每一概念予以定义,而每一个定义中引用的概念必须是基本概念或已定义过的概念;对其它每一命题都给予证明,而在证明中作为论据的命题必须是公理或者已经证明为真实的定理.因此,一门数学的演绎系统就是这门数学的基本概念、公理和定理所构成的逻辑的链条.
在上述过程中,从认识论的角度来看,任何公理系统的原始概念和公理的选取必须反映现实对象的本质和关系.就是说,应该有它真实的直观背景而不是凭空臆造.其次,从逻辑的角度看,则不能认为一些概念和公理的任意罗列就能构成一个合理的公理系统,而一个有意义的公理系统必须是一个逻辑相容的体系.
公理证明
公理系统
一个公理系统的相容性是至关重要的,因为一个理论体系不能矛盾百出.而独立性和完备性的要求则是次要的.因为在一个理论体系中,如果有多余的公理对于理论的展开没什么妨碍;如果独立的公理不够用,数学史上常常补充一些公理,逐步使之完备.下面仅就公理系统的相容性证明作一介绍.
产生背景
关于相容性征明这一概念的产生和历史发展的背景是这样的:
自从罗巴切
夫斯基几何诞生后,由于罗氏平行公理(过平面上一已知直线外的一点至少能够引两条直线与该已知直线平行)如此地为常识所不容,这才真正激起了人们对于数学系统的无矛盾性证明的兴趣和重视.后来,庞卡莱(Poincare',1854-1912)
在欧氏半平面上构造了罗氏几何的模型,把罗氏系统的相容性证明经过一个模
型化归为欧氏系统的相容性证明,但却由此导致了人们对欧氏系统相容性的重重疑虑.幸亏那时已经有了解析几何,这就等于在实数系统中构造了一个欧氏几何的模型.这就把欧氏几何的无矛盾性归结到了实数论的相容性.那么实数论的
相容性如何?
戴德金(Dedekind,1831-1916)把实数定义为有理数的分划,也即有理数的无穷集合,因而把这个无矛盾性归结到了自然数系统的无矛盾性.又由于弗雷格(Frege,1848-1925)的自然数的概念是借助集合的概念加以定义的,
因此,归来归去还是把矛盾集中到集合论那里去了•那么集合论的相容性如何?
事实上,集合论的相容性正处于严重的”危机”之中,以致这种相容性的证明
至今还未解决.
庞卡莱模型
庞卡莱为证明罗氏几何的相容性,在欧氏系统中构造了一个罗氏几何的模型.即在欧氏平面上划一条直线a将其分成上、下两个半平面,把不包括这条直线在内的上半平面作为罗氏平面,其上的欧氏点当作罗氏几何的点,把以该直线上任一点为中心,任一长为半径的半圆周作为罗氏几何的直线,然后对如
此规定的罗氏几何元素一一验证罗氏平行公理是成立的.
如图4—3所示,过罗氏平面上任一罗氏直线I外的一点P,确实能够作出两条罗氏直线与I平行.因为欧氏直线a上的点不是罗氏几何系统的元素,因此两个半圆相交于直线a上某一点则应看作相交于无穷远点,从而在有穷范围内永不相交.
这样以来,如果罗氏系统在今后的展开中出现了正、反两个互相矛盾的命
题的话,则只要按上述规定之几何元素间的对应关系进行翻译,立即成为互相矛盾的两个欧氏几何定理.从而欧氏系统就矛盾了.因此,只要承认欧氏系统是无矛盾的,那么罗氏系统一定也是相容的.这就把罗氏系统的相容性证明经过上述庞卡莱模型化归为欧氏系统的相容性证明.这种把一个公理系统的相容性证明化归为另一个看上去比较可靠的公理系统的相容性证明,或者说依靠一个数学系统的无矛盾性来保证另一个数学系统的协调性叫做数学系统的相对相容性证明.
对数学发展的影响
由于相对相容性的出现,使人们对欧氏系统的相容性也忧心重重.而更糟的是,在罗氏系统的展开中人们又发现,罗氏几何空间的极限球面上也可构造欧氏模型,即欧氏几何的全部公理能在罗氏的极限球上实现,于是欧氏几何的相容性又可由罗氏几何的相容性来保证!
这说明欧氏与罗氏的公理系统虽然不同,但却是互为相容的.人们当然不满足于两者互相之间的相对相容性证明,因为看上去较为合理的欧氏系统的无矛盾性竟要由看上去很不合理的罗氏系统来保证,这是难以令人满意的.于是人们开始寻求直接的相容性证明,本世纪初数学基础论就诞生了.由于在这一工作中所持的基本观点不同,在数学基础论的研究中形成了诸如逻辑主义派、直觉主义派和形式公理学派三大流派.这些流派虽然并未最后解决相容性证明问题,但在方法论上却各有贡献,她们的方法论、思想方法对于数学的研究与发展都具有重要的意义,有些还值得进一步分析、探讨、继承和发展.
归纳推理
所谓归纳推理,就是根据一类事物的部分对象具有某种性质,推出这类事物的所有对象都具有这种性质的推理,叫做归纳推理(简称归纳)。
归纳是从特殊到一般的过程,它属于合情推理。
定义
例如:
在一个平面内,直角三角形内角和是180度;锐角三角形内角和是180度;钝角三角形内角和是180度;直角三角形,锐角三角形和钝角三角形是全部的三角形;因此,平面内的一切三角形内角和都是180度。
这个例子从直角三角形,锐角三角形和钝角三角形内角和分别都是180度这些个别性知识,推出了"一切三角形内角和都是180度"这样的一般性结论,就属于归纳推理。
传统上,根据前提所考察对象范围的不同,把归纳推理分为完全归纳推理和不完全归纳推理。
完全归纳推理考察了某类事物的全部对象,不完全归纳推理则仅仅考察了某类事物的部分对象。
并进一步根据前提是否揭示对象与其属性间的因果联系,把不完全归纳推理分为简单枚举归纳推理和科学归纳推理。
现代归纳逻辑则主要研究概率推理和统计推理。
归纳推理的前提是其结论的必要条件。
其次,归纳推理的前提是真实的,但结论却未必真实,而可能为假。
如根据某天有一只兔子撞到树上死了,推出每天都会有兔子撞到树上死掉,这一结论很可能为假,除非一些很特殊的情况发生,比如地理环境中发生了什么异常使得兔子必以撞树为快。
我们能够用归纳强度来说明归纳推理中前提对结论的支持度。
支持度小于50%勺,则称该推理是归纳弱的;支持度小于100%但大于50%勺,称该推理是归纳强的;归纳推理中只有完全归纳推理前提对结论的支持度达到100%,支持度达到100%勺是必然性支持。
归纳推理的数理逻辑通用演算形式为:
si?
p+s2?
p+s3?
p+
p)=?
x(s?
p)o
与演绎推理对比
归纳推理和演绎推理既有区别、又有联系。
区别
1,思维进程不同。
归纳推理的思维进程是从个别到一般,而演绎推理的思维进程不是从个别到一般,是一个必然地得出的思维进程。
演绎推理不是从个别到一般的推理,但也不但仅是从一般到个别的推理:
演绎推理能够从一般到一般,比如从"一切非正义战争都是不得人心的"推出"一切非正义战争都不是得人心的";能够从个别到个别,比如从"罗吉尔•培根不是那个建立新的归纳逻辑学说的培根"推出"那个建立新的归纳逻辑学说的培根不是罗吉尔•培根";能够从个别和一般到个别,比如从"这个物体不导电"和"所有的金属都导电"推出"这个物体不是金属";还能够从个别和一般到一般,比如从"你能够胜任这项工作"和"有志者事竟成或者你不能够胜任这项工作"推出"有志者事竟成"o在这里,应当特别注意的是,归纳推理中的完全归纳推理其思维进程既是从个别到一般,又是必然地得出。
2,对前提真实性的要求不同。
演绎推理不要求前提必须真实,归纳推理则要求前提必须真实。
3,结论所断定的知识范围不同。
演绎推理的结论没有超出前提所断定的知识范围。
归纳推理除了完全归纳推理,结论都超出了前提所断定的知识范围。
4,前提与结论间的联系程度不同。
演绎推理的前提与结论间的联系是必然的
也就是说,前提真实,推理形式正确,结论就必然是真的。
归纳推理除了完全归纳推理前提与结论间的联系是必然的外,前提和结论间的联系都是或然的,也
就是说,前提真实,推理形式也正确,但不能必然推出真实的结论。
联系
1,演绎推理如果要以一般性知识为前提,(演绎推理未必都要以一般性知识为前提)则一般要依赖归纳推理来提供一般性知识。
2,归纳推理离不开演绎推理。
其一,为了提高归纳推理的可靠程度,需要运用已有的理论知识,对归纳推理的个别性前提进行分析,把握其中的因果性,必然性,这就要用到演绎推理。
其二,归纳推理依靠演绎推理来验证自己的结论。
例如,俄国化学家门捷列夫经过归纳发现元素周期律,指出,元素的性质随元素原子量的增加而呈周期性变化。
后用演绎推理发现,原来测量的一些元素的原子量是错的。
于是,她重新安排了它们在周期表中的位置,并预言了一些尚未发现的元素,指出周期表中应留出空白位置给未发现的新元素。
逻辑史上曾出现两个相互对立的派别一一全归纳派和全演绎派。
全归纳派把
归纳说成唯一科学的思维方法,否认演绎在认识中的作用。
全演绎派把演绎说成是唯一科学的思维方法,否认归纳的意义。
这两种观点都是片面的。
正如恩格斯所说:
"归纳和演绎,正如分析和综合一样,是必然相互联系着的。
不应当牺牲一个而把另一个捧到天上去,应当把每一个都用到该用的地方,而要做到这一点,就只有注意它们的相互联系,它们的相互补充。
"
收集方法
归纳推理要以个别性知识为前提,为了获得个别性知识,就必须收集经验材料,收集经验材料的方法有观察,实验等。
观察
这里所说的"观察"是"科学的观察"的简称。
一般来说,人们把外界的自然信息经过感官输入大脑,经过大脑的处理,形成对外界的感知,就是观察。
然而,盲目的、被动的感受过程不是科学的观察。
科学的观察是在一定的思想或理论指导下,在自然发生的条件下进行(不干预自然现象)但有目的的,主动的观察。
科学的观察往往不是单纯地靠眼耳鼻舌身五官去感受自然界所给予的刺激,
而要借助一定的科学仪器去考察,描述和确认某些自然现象的自然发生。
观察要遵循客观性原则,对客观存在的现象应如实观察。
如果观察失真,便不能得到真实可靠的结论。
可是,说观察要遵循客观性原则,并不是说在观察时应当不带有任何理论观点。
理论总是不同程度地渗透在观察之中。
提出观察要客观,是要求用正确的理论来观察事物,以免产生主观主义。
理论对观察的渗透,说明了主体在观察中的能动作用。
氧的发现过程生动地体现了理论对观察的作
1774年8月,英国科学家普利斯特里在用聚光透镜加热氧化汞时得到了氧
气,她发现物质在这种气体里燃烧比在空气中更强烈,由于墨守陈旧的燃素说,
她称这种气体为"脱去燃素的空气"。
1774年,法国著名的化学家拉瓦锡正在研
大量的实验事实
究磷、硫以及一些金属燃烧后质量会增加而空气减少的问题
使她对燃素
拉瓦锡
理论发生了极大怀疑。
正在这时,普利斯特里来到巴黎,把她的实验情况告诉了拉瓦锡,拉瓦锡马上意识到她的英国同事的实验的重要性。
她马上重复了普
利斯特里的实验,果真得到了一种支持燃烧的气体,她确定这种气体是一种新的元素。
1775年4月拉瓦锡向法国巴黎科学院提出报告一一金属在煅烧时与之相化合并增加其重量的物质的性质一一公布了氧的发现。
实际上,在普利斯特里
发现氧气之前,瑞典化学家舍勒也曾独立地发现了氧气,但她把这种气体称为"
火空气"。
氧的发现过程正如恩格斯在《资本论》第二卷序言中所说的:
"普利斯
特里和舍勒已经找出了氧气,但不知道她们找到的是什么。
她们不免为现有燃素
范畴所束缚。
这种原来能够推翻全部燃素观点并使化学发生革命的元素,没有在她们手中结下果实•……(拉瓦锡)仍不失为氧气的真正发现者,因为其它两位不过找出了氧气,但一点儿也不知道她们自己找出了什么。
"
当对象的性质使人们难以实际作用于对象(比如在天文学研究中)或者研究对象的特点要求避免外界干扰(如在许多心理学的研究中)时,最适用的收集经验材料的方法就是观察了。
观察方法有一定局限性:
(1)观察只能使我们看到现象,却看不到本质。
现象是事物的外部联系和表面特征,是事物的外在表现。
本质是事物的内部联系,是事物内部所包含的一系列必然性,规律性的综合。
恩
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 公理化体系 公理化 体系 样本
![提示](https://static.bdocx.com/images/bang_tan.gif)