查询词典 system of axioms

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 system state, axioms and rules of state transition of the original model are modified in the improved model.

改进模型对原模型的系统状态、公理和状态转换规则进行了修改。

It's not really math itself that is incomplete, but any formal system that attempts to capture all the truths of mathematics in its finite set of axioms and rules.

它不是说数学本身是不完备的，而是针对任何某种尝试，试图把数学全部的真命题包括在一套有限的公理与法则里。

Nevertheless, the system of the axioms pit forward above apparently remain to be tested,observed and discussed.

已提出的公理体系显然尚须检验，尚须观察和讨论。

Elements is a deductive system of axioms to establish the first model of the entire development of mathematics have had a profound impact.

几何原本》是用公理建立起演绎体系的最早典范，对整个数学的发展产生了深远的影响。

It existed with the deductive logic which was in the system of Hellenic axioms. It took on the leading actor in different periods and instructed the development of mathematics in different regions.

它与希腊公理体系下的演绎逻辑并存，在不同的时期分别担任主角，指导着不同地区数学的发展。

First of all, the clustering result is corresponding to the Kripke structure. The relevant system of axioms is chosen by the correspondence between the syntax and semantics of modal logic.

首先将聚类结果对应于模态逻辑中Kripke结构；然后利用模态逻辑中语法与语义之间的对应性选取了相应的公理系统。

Under the instruction of the schur axioms, many reasoning concerning schur axiomses produced then, and became a theories system of the schur axioms of integrity, coming up the certificate that the schur axioms and many of its reasonings expanded the likeness of the matrix and the characteristic of the matrix to be worth.

在 定理的指导下，许多关于定理的推论便产生了，并且形成了一个完整的定理理论体系，把定理和它的许多推论推广到了酉矩阵的相似和矩阵的特征值的证明上来。

What constitute a theory: a logical, deductive system of interconnected definitions, axioms, and laws. Could be demonstrated in artistic way, help people to make sense, to amuse, shock or stimulate others.

一个理论应该是逻辑严谨的，但是像后现代主义说的，冰冷的规律并不一定用冰冷的论文来表达，而可以通过艺术的方式来表达，因为我们的研究不只是给人一个关于什么问题的答案，而且应该去启发群众思考，给他带来身心的震撼，让他重新理解世界，帮助他们改善生活。

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

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

Do you know, i need you to come back

你知道吗，我需要你回来

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

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