查询词典 axioms

He also includes as Strange Loops the famous paradox about Cretan liars who say they never lie, and Gdel's proof of unprovable mathematical axioms.

他把著名的说自己从不骗人的克里特岛骗子的悖论，以及哥德尔无法证明的数学公理的证明也算在"怪圈"里。

Its applications in probability theory was first introduced in 1920s by Daniell (1921) and Wiener (1923),(see[7][24][25]), but then almost being forgotten after Kolmogorov's Axioms.

Peng在[18][19][20]中利用Daniell积分的方法定义了非线性数学期望并进行了相关问题的研究。

Logic an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another.

内部所有的命题都不具有可逆性一个逻辑系统所具有的属性。

However ,the reader should realize that all properties of real numbers that are to be accepted as theorems must be deducible froom the axioms without any reference to geometry.

然而，读者应该认识到，拟被采用作为定理的所有关于实数的性质都必须不借助于几何就能从公理推出。

The first part is basic concept and axioms: Gives the definition and the basic theorem of diagonally dominant matrix, M-matrix, H-matrix which involve in this paper.

第一部分为基本概念和定理：给出本文所涉及的对角占优矩、M-矩阵、H-矩阵的基本概念和定理。

When the consistency is checked, the "distance diagram"is employed. It is concluded that the axioms of a description satisfies the consistency iff there are no negative directed cycles in the distance diagram.

在验证ISITL描述的一致性时采用"距离矢量图"，并认为一个ISITL描述满足一致性当且仅当其距离矢量图上不存在负矢量和的有向回路。

On the basis of the above concepts, preference distance axioms fo r group deci-sion -making with order preference a re set up.

对于群体决策问题，文章引进供选方案间的偏爱距离和偏爱距离映射的概念。

It is worth mentioning that the Feet, regulation,"sub-Square" in Operations, problem-solving, results, only the Need to "Elementary Geometry" of the axioms, logic, reasoning, we can prove that.

值得一提的是尺、规，"分角尺"的操作、解题、结果，只需"初等几何"的公理、逻辑、推理、就能证明。

In section three, we recall the mapping cone and show that the mapping cone is equivalent with the octahedral axiom if the other three axioms are satisfied.

在第三节，我们讨论了预三角范畴中的映射锥，证明了在其它三条公理满足的条件下，"映射锥是三角"与八面体公理等价。

The unique existence theorem forutility function based on the new axioms,which is the base of lattice-orderdecision-making theory,is obtained in this dissertation.

本论文研究了在格序决策行为公理体系之下效用函数的存在性问题，并给出了相应的存在惟一性定理，为格序决策理论与方法的研究奠定了基础。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。