决定性公理造句

• 决定性公理    这里,常用的附加假设有：可构成公理；各种大基数公理，以及与AC不协调的决定性公理等。 随着无穷博弈的诞生和博弈论在数学各分支的渗透，以及博弈论与逻辑的关系日益密切，决定性公理也愈受到重视。 此外，大基数问题，无穷组合论的研究亦有很大进展，70年代以来，决定性公理的研究与它们交织在一起，有很大的进展，同时，人们还在寻找迄今尚未发现的与其它公理无矛盾的可信赖的新的公理，以期在更...
• 决定性的小数点使刻薄之人决定自杀    决定性的小数点使刻薄之人决定自杀。
• 公理性原则    它们既可能是一些政策性原则，也可能是一些公理性原则。 1.按照法律原则产生的基础不同，可以把法律原则分为公理性原则和政策性原则。 而不论是政策性原则还是公理性原则，它们往往是以“基本原则”的法律语言在这一部法中表现出来，且其基本精神贯穿于整部法律之中。 控制的公理性原则，是严格意义上的宏观调控权法律控制原则，由“法律的客观性”所决定的一种宏观调控权法律控制原则，它普遍适用于...
• 公理的独立性    同样，他也证明选择公理的独立性。 二是从理论上研究公理系统应该满足的性质：无矛盾性、完全性和公理的独立性。 选择公理和连续统假设与集合论其他公理的独立性(由Paul Cohen和哥德尔证明)是模型论中产生的最著名的结果。 他不仅对欧几里得几何提供了完善的公理体系，还给出证明一个公理对别的公理的独立性以及一个公理体系确实为完备的普遍原则。 特别是，他们不是被动地等待实践的裁决...
• 公理的相容性    几何的相容性可归结为算术公理的相容性。 公理的相容性 欧几里得几何的相容性可归结为算术公理的相容性。 1936年德国数学家根茨在使用超限归纳法的条件下证明了算术公理的相容性。 上的皮亚诺公理的相容性可以在集合论中证明，但不能单独在自然数理论范围内证明。 他还致力於连续统假设的研究，在1930年采用一种不同的方法得到了选择公理的相容性证明。 举个例子，自然数上的皮亚诺公理的相...
• 公理系统的完全性    公理系统的完全性
• 公理系统的无矛盾性    根茨（G.Gentaen，1909-1945）1936年使用超限归纳法证明了算术公理系统的无矛盾性。 1938年，侨居美国的奥地利数理逻辑学家哥德尔证明连续统假设与ZF集合论公理系统的无矛盾性。 1938年，哥德尔证明了连续统假设和世界公认的策梅洛--弗伦克尔集合论公理系统的无矛盾性。 因此，这两种情况说明，要解决公理系统的无矛盾性和不可判定命题，必须让数学的理论知识返回到...
• 凸性公理    6.偏好的凸性公理。
• 可化归性公理    有了可化归性公理,关于实数的阶的困难可得到解决。 为了克服这种困难,罗素不得已增加了一条可化归性公理。 因此可化归性公理的作用就是把分支类型论简化为简单类型论。 可化归性公理是说,每一个非直谓的函项都有一个形式上等值的直谓函项。 导论提出的重要改动是：取消了可化归性公理后对数学归纳法所发生的影响。 罗素在1925年的《数学原理》第二版中放弃了可化归性公理,但仍采用分支类型论...
• 可数性公理    主要内容为：拓扑空间，可数性公理，分离性公理，连通性，紧性，局部凸空间，桶空间和囿空间，线性拓扑空间中的基。
• 外延性公理    而它成为在这种情况下的外延性公理。 尽管这个方式可以保持原来的外延性公理，但基础公理却需要调整。 外延性公理一般被认为是无可争议的，它或它的等价公理出现在所有可供选择的集合论的公理化中。 外延性公理可以同形式的概括陈述一起使用，这里的P是不提及A或x的任何一元谓词，来定义一个唯一集合A，它的成员完全是满足谓词P的集合。
• 完备性公理    1.完备性公理。 牛顿和莱布尼兹创立了微积分，但是当时分析的基础还极其不完善，这导致了第二次数学危机，直接的结果就是大量优秀的数学家投身到了研究实数基础的行列中，这其中相当重要的一部分就是实数的完备性公理，实数的完备性公理包括六条，这六条是等价的，而维尔斯特拉斯聚点定理就是其中的一条。
• 无穷性公理    按照无穷性公理，最基本的无穷集是自然数集w，w的最突出的特点是归纳性它表现为如果∈,并且∈A^0蕴涵wU∈A,就称A为归纳集。 现代集合论中还有一些强无穷性公理，也叫大基数公理，它们断言有各种大基数存在，现已提出的大基数达数十种，它们都可以看作是w的某种推广。 《数学原理》从逻辑演算出发，在逻辑公理之外增加了以后引起争论的三条公理，即无穷性公理、乘法公理和可化归性公理，同时...
• 构造性公理    ZF加上可构造性公理(简记V=L)就可以推出GCH，当然也能推出CH和AC。
• 正则性公理    正则性公理
• 连续性公理    5.连续性公理。
• 互补性决定区    互补决定区：VL与VH均有3个HVR，它们共同组成Ig的抗原结合部位（antigen-binding site）,该部位因在空间结构上可与抗原决定簇形成精密的互补，故超变区又称互补性决定区(complementarity determining region，CDR)。 分析NAA的分子结构，发现其互补性决定区3（CDR3）是决定多反应性的主要部位，如将一多反应性单克隆抗体...
• 决定性    他回避任何决定性的表态。 云对辐射有决定性的作用。 其中决定性因素是任务工期。 这些都是决定性的问题。 这是一场决定性的战斗。 事情已到了决定性的时刻了。 这几仗构成了决定性的转折点。 那场决定性的胜利结束了战争。 这是一种十分具有决定性的特征。 事情发生了更有决定性意义的转折。 他对于这一问题提出了决定性意见。 这次决定性的会议中，他主持会议。 此战役的结局极为迅速而具有...
• 决定性一票    裂，额我略十五世确立了该规程以杜绝任何枢机为自己投决定性一票。 23.3非选举投票时，主席在表决票数相等的情况下，可投决定性一票。 没有当选），但1492年枢机Borgia(Cardinal Borgia)(亚历山大六世)确实为自己投了决定性一票。 独一条理事会的议决取决于大多数票，票数相同时由主席投决定性一票，所有议决记录在会议录内。 可怕的正是，在这样的检验过程当中，对...
• 决定性考验    衡量驾驶员水平的决定性考验,就是看他在紧急关头能否保持镇静
• 决定性标准    商会相信巨大并增长的中美贸易逆差不应该作为衡量中美贸易的决定性标准。
• 决定性战役    清兵入关的几个决定性战役在次进行。 白石江之战，是平定云南的决定性战役。 三大战役是国军全面崩溃的决定性战役。 资产阶级革命中第二次内战的决定性战役。 的一次决定性战役。 的一场决定性战役。 莱比锡会战是拿破仑战争中的决定性战役。 之后，两军则在泸州展开另一场决定性战役。 中的决定性战役。 的决定性战役。 乌拉圭独立战争期间决定性战役（1811年）所在地。 这样，第一次内战...
• 决定性战斗    这是粉碎日军对我太岳根据地“铁滚扫荡”的一次决定性战斗。 军队进至南陵时，江岸为陈军占据，攻占江岸成为夺取南陵诚的决定性战斗。 进军，在尼尼微附近的高加米拉展开了与波斯的最后一场大规模的决定性战斗。 。伊利面临许多困难，不得不发动一些小规模的非决定性战斗来攻打当地人的设防阵地。 不久马其顿军南下，公元前338年在喀罗尼亚，双方发生决定性战斗，结果希腊联盟军战败。 长乐村地区...
• 决定性地    几天以后，他的客人带决定性地宣布，她要走了，爱德华提议举行一次网球聚会作为临别的礼遇。 这些行业领先企业的加入，体现了英国在全球市场上为生产和服务提供商构建桥梁的决定性地位。 国务院再次希望在武器的喧嚣静下来之后，伊拉克人民和国际团体将知道如何面对当前重大的挑战，那就是决定性地使和平的时代在中东出现。 本文认为二板市场的制度安排，决定性地影响着市场绩效，因比较分析深陷困境的...
• 决定性阶段    1969年4月12日，为了把事情引入决定性阶段，我向总统提交一份备忘录。