查询词典 axiomatic system

The research on rough set axiomatic system plays an important role in the rough set theory and its applications.

粗糙集合理论是一种新的有效处理不精确、不确定、含糊信息的理论，粗集公理系统研究是粗集理论及应用研究的基础。

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.

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

In an axiomatic system, the primitive symbols are undefined and all other symbols are defined in terms of them.

在任何公理系统中，基设符号都是不下定义的，其它所有符号都藉基设符号来界定。

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.

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

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。