公理

Based on the overview of current researchin thinking science, this paper presents the MT concept and a new design method calledPCIDBMT which is different from the conventional design theories such as axiomatic designtheory, extension design method and TRIZ technique,.etc.

与公理设计、可拓设计、TRIZ等传统设计理论不同，论文根据现有思维科学研究成果提出了复合思维概念和基于复合思维的产品色彩智能设计技术。

It has been proved in [2] that a normal fuzzy set structure is a kind of non-standard model of the axiomatic set theory with urelements.

在文献[2]中我们证明了正规弗晰集合结构是带本元的公理集合论的一类非标准模型。

It has proved that well sets completely satisfy all axioms of ZFC -(the classical system of axiomatic set theory ZFC without the regular axiom).

在中介公理集合论系统中重新定义了良集的概念，讨论了它的性质。

The fuzzy set theory is a rapidly growing branch of applied mathematics whereas the Boolean-valued model is a nonstandard model of the axiomatic set theory.

在文献[1]中我们曾引进正规弗晰集合结构的概念，这种正规弗晰集合结构是对弗晰集合论的一种本质的刻划与推广；在文献[1]中还证明了任一正规弗晰集合结构都是带本元的集合论公理系统ZFa的一个布尔值模型。

He has taught the following courses since he became a teacher in 2001: first-order logic, modal logic, the axiomatic set theory, recursive theory and model theory.

已开课程有《一阶逻辑》《模态逻辑》《公理集合论》《递归论》《模型论》。2005年11月至2006年11月，访学于阿姆斯特丹大学逻辑、语言与计算研究所。

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.

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

At a formal level, an axiom is just a string of symbols , which has an intrinsic meaning only in the context of all derivable formulas of an axiomatic system .

在正式一级，公理只是一个字符串的符号，它的内在含义只有在所有derivable公式的公理化体系。

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万英镑骗了个精光。