查询词典 axiom

Freedom of conscience is an axiom of liberal thought.

心灵的解放就是自由主义思想的体现。

Axiom 3. Each student should know that reading can be improved.

公理三。每个学生都应当知道阅读能力是可以提高的。

I've never deviated from that axiom.

我从来没有违背过这项原则。

If ever you needed proof about that old Los Angeles sports axiom, this is your ticket.

如果你曾经想要洛杉矶的古老运动史，这是你的事。

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

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

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公式的公理化体系。

The independence of Axiomatic system in essence means that if we delete any axiom or inference rule, then the set of theorem would be changed.

一阶谓词系统的独立性问题的实质是说：如果删除掉某条公理或推理规则，那么定理集将发生变化。

An axiomatization of the object calculus as an extension of the axiom system of the trace calculus is also contributed in this paper.

作为逻辑系统，文章还讨论了对象演算的公理化，它是Trace演算公理系统的扩充。

Fourthly, my paper proposes a new axiom system, which is made from forty axioms and two rules.

第四，本文提出了新的认证逻辑公理系统。

Firstly, we propose an axiom system by a language of two rank and some axioms.

首先建立了一个RBAC的二阶语言，与一组公理形成了一个公理系统。

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。