查询词典 archimedes axiom

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的二阶语言，与一组公理形成了一个公理系统。

If Kobe's jab stepping at the top of the key and there are no cutters…there should be a "pressure release" aka "The Blind Pig"…Creating a triangle in a way that is inconspicuous to the defense… and another triangle axiom, The player with the ball hits the first open man.

如果科比在顶端持球，没有人空切的话…那么就要有球员打"pressure release"或是"The Blind Pig"…形成一种不引起防守方注意的三角…另一个三角哲理是，持球者和首先发现空位的球员之间的摩擦。

Based on the view that the theorem of closed mested interval is an axiom,this paper deduces the essential limit of monotonic bounded sequence of number and the Dedekind theorem,and proves the general theorem of bull closed nested interval of real number .

以通常所说的闭区间套定理作为公理推出单调有界数列存在极限和Dedekind定理，并且证明了通常所说的实数满闭区间套定理

In the days of sailing vessels the crew were afraid they would be becalmed on the ocean.

在使用帆船的时代，船员们担心他们会因为无风而无法在海洋上航行。

As long as foreign donors pay the PA's salary bill, few expect a new intifada.

只要外国继续为巴权力机构的薪水买单，希望发动新暴动的人便寥寥无几。