查询词典 proof

"This paper, my friend," said Faria,"I may now avow to you, since I have the proof of your fidelity--this paper is my treasure, of which, from this day forth, one-half belongs to you."

"这片纸，我的朋友，"法利亚说，既然我已经考验过你了，现在可以把我的秘密告诉你了，这片纸就是我的宝藏。

There's no proof that the Axial States did either.

"轴的美国也做的没有证明"。

Yet, the BPI is strictly weaker than the axiom of choice, though the proof of this statement is rather non-trivial.

但是 BPI 严格的弱于选择公理，尽管这个陈述的证明是非常不平凡的。

It is known that all of these statements are consequences of the axiom of choice ( the easy proof makes use of

已知所有这些陈述都是选择公理的推论

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

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

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作"细精度"的语义刻画。

The Elements begin with plane geometry , still taught in secondary school as the first axiomatic system and the first examples of formal proof .

在过去的二千年的形容词"欧"是不必要的，因为没有其他类型的几何已经设想。

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.

数理逻辑中最重要的数学哲学的发展是哥德尔的证明，任何公理系统足够强大以正式算术将在这个意义上不完全会有真理不属于系统内证明的。

So, in the absence of any further proof, I think the two missing Death Eaters are Nott and the baby-faced Death Eater, whom I believe to be Crabbe.

因此，在缺乏任何进一步证据的情况下，我认为两个不见的食死徒是诺特和婴儿头的食死徒——我相信是克拉布。

Result proof, because can be calculated accurately to large scale backset, big eddy imitate compares S-A model to have taller precision on computation of function of pneumatic of wind energy conversion system.

结果证实，由于能够对大尺度涡流精确计算，大涡模拟比S-A模型在风力机气动性能计算上具有更高的精度。

That snake Alaric named Archbishop...

庇护。。。那个毒如蛇蝎的Alaric被命名为大教主。。。

You have done lots of magical things to be amazed at.

你做了很多神奇的事物感到惊讶。