查询词典 consistent axiom system

The axioms mentioned here are a system of axioms, which comprise potential axiom, motivational axiom, reflexive axiom,aesthetic axiom and intermendiate.

这里提出的，是由潜在公理、动因公理，反身公理、美学公理和中介公理所组成的公理体系。

By using modern mathematical theory,the ordering axiom is generalized tothe lattice-order axiom,and the continuity axiom is weakened to constructlattice-order decision-making behavior axioms,of which rationality is confirmed.

应用现代数学理论，将Von Neumann-Morgenstern理性行为公理体系中的全序刻划推广为格序刻划，并相应地弱化连续性公理，建立起新的格序决策行为公理体系，研究了该公理体系的合理性。

In this paper, the connectivity axiom and the continuity axiom in Von Neumann-Morgenstern Rational behavior axioms are weakened. Then, a set of axiom for lattice ordered decision-making behavior, which can describe the decision-making behavior more rationally, is constructed. At last, the relative unique existence theorem for utility function is obtained.

根据偏好关系所具有的格序特征，将Von Neumann-Morgenstern理性行为公理体系中的连通性公理弱化为格连通性公理，并相应地弱化连续性公理，得到了一集能更为合理地描述具有"有限理性"的决策行为的格序决策行为公理体系，构造并证明了在格序决策行为公理体系之下，效用函数的存在惟一性定理。

It means making the light crime cases may be finalized, in a way of reconciliation cesser secta axiom, in every stage of the criminal proceeding process in line of the regulations on private prosecution.Establishment the axiom of seize suppresses or the necessity of arrestment axiom.

就是使微罪刑案当事双方在刑事诉讼各环节，均可依据我国刑诉法关于自诉的规定以和解终结诉讼；确立逮捕的谦抑原则或者逮捕的必要性原则。

The so-called "simplism" principle, which is the basic standard to judge establish of a new theory, is actually unification principle in logic, because any new theory is a concept system set up by starting with minority hypothesis or axiom, which covered as much as possible experience, and the new system is just the illation of the "simplism" principle (the minority hypothesis or axiom).

所谓简单性原则就是逻辑统一原则。它是衡量一门新的学说是否成立的起码标准。因为任何新的学说均是从覆盖尽可能多的经验事实的少数假设或公理出发，建立起来的概念体系。而这个新的体系不过是这个简单性原则的演绎。

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上，提出逻辑类型论来解决罗素悖论，以非集合论理论为基础，以无穷公理和选择公理为前提，利用逻辑概念定义数学概念，并构造系统，通过逻辑演绎法从逻辑公理推导数学定理。

As an application of the above proof, we obtain at once that there is an open and dense set in the set of Ω-stable systems such that every system in the set satisfies Axiom A and the no-cycle condition (Axiom A and the strong transversality condition, respectively).

作为上述方法的一个运用，马上可以得出在Ω稳定系统的集合中有一开稠集满足公理 A 和无环性条件(对应的，公理 A 和强横截性条件)。

People's attitude is suspicion of axiom of choice and axiom of parallelism.

人们对平行公理和选择公理的态度都表现为：怀疑。

But it also wouldn't be the Cloud- Cuckoo-Land you create with your Axiom of Choice … Do you know what delusions you can arrive at by means of the Axiom of Choice?

但是它也不再是你们用公理选择建造起来的理想国……你们知道利用公理选择的方法会产生什么错觉吗？

It is proved that the choice function must satisfy the axiom of consistency if the choice function meets the axiom of substitutability together with quotafilling condition; then, it is driven that the choice function is a path independence choice when it satisfies the substitutability and consistency condition.

首先证明了在替代性原理的前提下，选择函数定额充分是满足一致性原理的充分条件；得出了当选择函数满足替代性和定额充分条件时，必定满足路径无关性选择的结论。

The small blue capacitor has very high chances to go fully shorted compare to electrolytic capacitor which is very rare.

小蓝电容器具有很高的机会去充分地缩短了比较电解电容器，这是非常罕见的。

In the Italian campaigns of 1513 and 1515, when the Swiss won the victories of Novara and Marignan, he acted as army chaplain.

在意大利的运动， 1513年和1515年，当瑞士赢得了胜利，诺瓦拉和marignan ，他担任军队的牧师。