查询词典 impossibility proof

There could be no more startling proof of the importance of the Roman See than this sudden revelation of an episode of the third century: the whole Church convulsed by the claim of an antipope; the recognized impossibility of a bishop being a Catholic and legitimate pastor if he is on the side of the wrong pope; the uncontested claim of both rivals to consecrate a new bishop in any place where the existing bishop resisted their authority.

不可能有更惊人的证据的重要性，罗马教廷比这个突然发现一个插曲第三世纪：整个教会震撼了索赔的对立教皇的承认是不可能的主教是天主教和合法的，如果牧师他是一方的错教皇；无可争议的索赔都竞争对手奉献一个新的主教在任何地方在现有主教反对他们的权威。

The unique existence theorem for minimal determining set of completerational choice function is obtained,and the sufficient condition is used to show avery simple proof of Arrow Impossibility Theorem.

构造并证明了完全理性选择函数的最小决定集的存在惟一性定理，同时应用该定理的充分性条件给出了Arrow不可能性定理的一个简单证明。

The lamp is Small volume, light weight, water-proof, quake-proof, antisepticize, explosion-proof.

灯具体积小，重量轻，防水，防震，防腐，防暴。

In the thesis , we give combinatorial proof of some q-identities using integer partition.In the thesis some vital identities with binomial coefficient are given with their combinatorial proof, and the q-analogues of some identities are offered with corresponding combinatorial proof using integer partition.

本文给出了一些重要的二项式系数恒等式的组合证明或组合解释，并从分拆的角度给出了一些q-恒等式的组合证明，其中突出的成果是给出了平方和恒等式的一个直接的组合证明并给出了偶数平方和与奇数平方和的q-模拟及组合证明。

The proof system is the core of the civil suit system and the proof limitation system is the core of the proof system.

证据制度是民事诉讼制度的核心，而举证时限制度又无疑是证据制度的核心。

However, Single assignment of burden of proof cannot adapt to actual judicial practices with the complicated objective. Therefore, we have established the principle of assignments of burden of proof in the administrative procedure law. we shall insist the guidence of human rights and judicial fairness, and establish a multi-layered and synthetical system of assignment according to the condition that claimer undertake the responsibility of proof.

单一的举证责任分配原则，是无法适应复杂的行政诉讼实践需要的，以公民权对抗行政权的行政诉讼，其诉讼宗旨注定了行政诉讼举证责任分配原则的确立，应在坚持保障人权和司法公正的法律理念指导下，建立起一个以请求权人承担权利形成要件的证明责任为基础、以遇有疑问时有利于自由民等标准为补充的多层次综合分配体机制。

With a definite standard of proof, provided that the weight of proof met the standard, the factum probandum is to be proved and the burden of proof of parties is discharged, then the judge can regard the existence of the facts as the basis of judgment.

在一定的证明标准下，一旦证据的证明力达到这一标准，就认为待证事实得到了证明，即当事人卸除证明负担，法官可以该事实的存在作为裁判的依据。

In response to the difficulties in verifying his proof, in January of 2003, Hales launched the "Flyspeck project"("xxxxal Proof of Kepler") in an attempt to use computers to automatically verify every step of the proof.

数学是来不得半点虚假的，Hales在1997年借助计算机，完全证明了Kepler猜想，得到公认，文章即将发表在Annals of Math上，Hales本人也在ICCM上作了45分钟报告。

The technical problems, about shortage of separation distance, the feasibility of high-rise polymerization factory building, the fire separation and explosion-proof design of polymerization factory building, the selecting and arrangement of water spraying extinguishing system nozzle, the establishment of deluge system valve, and the essentiality of water spraying extinguishing system which is to be established to protect the VCM gasholder, the positioning of water curtain settled under the space which connect the PVC pack house and pack department and how long the system continue operate? The selecting and the quantity of fire extinguishing agent about gas extinguishing system, which will be used in the new 35KV switch station and some rooms including cabinet room, primary control room, UPS room, voltage changer room, belong to new polymerization power panel and UPS station. Designing the model of power supply and distribution for fire-fighting and designing the hardware organization, software, model of data transmission and fire gang control logic programmer about automatic fire alarm system. Making certain the grade of release source point in the fire or explosive atmosphere and delimiting different grade explosion-proof space. Selecting correct explosion-proof construction of electrical apparatus and delimiting the class of building lightning protection, putting forth the concert steps to deal with thunder stroke and electrostatic discharge and so on, have been deeply researched in the process of designing and then the concert steps to deal with them have been putted forth.

针对设计中遇到的防火间距不足、聚合厂房可否采用高层厂房、聚合厂房的防火分隔和防爆设计、水喷雾灭火系统的喷头选型和布置、雨淋阀组设置、VCM气柜是否需要设置水喷雾灭火系统、PVC仓库与包装车间相通处水幕带的布置和系统工作时间的确定、新建35kV开关站和聚合配电及DCS机柜间内的机柜间、主控室、UPS间、变压器室等处设置的气体灭火系统选型和灭火剂用量确定、消防供配电方式、火灾自动报警系统的硬件结构、软件设计、数据传输方式及联动控制设计中的逻辑编程、爆炸和火灾危险环境危险释放源等级确定和防爆区域等级范围的划分、爆炸危险区域电气设备的防爆结构选型、建、构筑物的防雷类别划分及采取的防雷、防静电措施等具体工程技术问题在深入分析研究后，提出了相应的解决措施。

And made a comparison between the Han nationality and the BouYei nationality students in learning geometric proof, we sum up the defferences between learning geometric proof abilities and the general proof process.

针对问卷和测查题的定量统计分析和个案定性分析，得出被试学生学习几何证明的一般过程和证明能力发展的差异情况，在此基础上进行了几何证明的微型教改实验，得到以下的结果： 1。

The French are not suggesting a new EU treaty, but they have plenty of other wheezes.

法国人并不是在建议签署一个新的欧盟条约，但他们有许多其他的阴谋。

This letter was written by my brother.

这封信是我弟弟写的。