查询词典 the metric system

Secondly, by using of the medium axiomatic set theory, a natural number system in MS is constructed, and it is proved that five axioms of Peano′s natural number system are theorems is MS.

其次，利用中介公理集合论MS的相关理论，构造了MS中的自然数系统，证明了Peano5条公理为MS中的定理。

Finally, an example is given to illustrate how to do system verification based on FPTL and its axiomatic system.

最后通过一个实例来展示投影时序逻辑及公理系统在系统验证中的应用。

If we can prove the independence of an axiomatic system, then we can guarantee the conciseness of this system, ie.

如果能够证明某个一阶谓词系统的独立性，那么就能够保证该系统的建立是精炼的，即没有任何一条公理或推理规则是多余的。

Two consistent systems for elasticity, the Axiomatic System of Variation and the Formal System of Variation, are suggested in this paper.

他事实上认为变分原理中的变量独立是不证自明的或理所当然的[14]。但是变量独立的问题并没有解决，因为在他的系统中也存在着矛盾。

But things develop in the opposite direction when axiomatic system is extremely perfect and the limitation is bigger. This will offer a chance for scientific revolution and lead to changes in axiomatic system.

但事与愿违，越是形式化的公理体系发现其理论的局限越大，出现矛盾的可能性越大，这就为科学理论变革，即公理体系的变换提供了契机，也就是提出了新的科学问题，使科学认识进入到一个新的境界。

The most important development in mathematical logic for the philosophy of mathematics was Godel's proof that any axiomatic system powerful enough to formalise arithmetic will be incomplete in the sense that there will be truths which are not provable within the system.

数理逻辑中最重要的数学哲学的发展是哥德尔的证明，任何公理系统足够强大以正式算术将在这个意义上不完全会有真理不属于系统内证明的。

Keywords : variational theory, variable-independence, consistency , formalization, Axiomatic System of Variation, Formal System of Variation

进一步，我们发现，在鹫井久一郎、钱伟长和罗恩的工作中明示的或隐含的有关变量独立的"传统"的理解隐含着矛盾 [6， 9-11， 14]。

It is undoubtedly result of scientific theory systematization. When axiomatic system reaches a fairly perfect stage, theorists hope axiomatic system more abundant by formalization method.

当公理体系达到相当完善的阶段后，理论家们往往希望用形式化的方法使公理体系更精致，推理能力更强，更能发挥科学理论的认识功能。

Hence, the dissipativetheory and the hypercycle theory attempt to construct a substantialistic model ofundermost hierarchy which can satisfy axiomatic system of evolution, that is it isa molecular system which can proceed self-replication or autoreplication.

因而，耗散结构和超循环论，给出的是满足进化公理系统的最低层次实体模型（能够进行自我复制的分子系统）的分子演化过程的动力学描述。

Non-prosecution system ; relative rationalism ; axiomatic thought ; system improved

吉林大学；谢识不起诉制度；相对合理主义；公理化思想；制度改良

Objective To investigate the relationship between ovum fertilization rate and sperm morphology, acrosome reaction in IVF and to explore the influence of parameters of sperm on fertilization rate.

目的 研究体外受精(in vitro fertilization，IVF)中精子形态、顶体反应与卵子受精率之间的关系，分析精子各参数在IVF受精率方面的参考意义。

A: I hear Mr. White wants to run for the Presidency!

我听说怀特先生要参加总统竞选！