查询词典 axiom

Although the axiom of constructibility does resolve CH, it is not generally considered to be intuitively true any more than CH is generally considered to be false.

要反对这一观点，要是能展示一条既能被直观所支持、又能从证明或证否面解决连续统假设的新公理，那就很足够了。

To take just one example, consider the set theorist's axiom of extensionality : For any sets A and B , if A and B have the same members, then A is the same set as B .

举例说，考虑集合论的外延公理：对任何集合A和B，如果A和B有相同的成员，那么A作为集合和B同一。

All the problems that Russell's 'axiom of infinity' brings with it can be solved at this point.

至此，罗素的"无穷公理"所带来的一切问题都已获致解决。

What the axiom of infinity is intended to say would express itself in language through the existence of infinitely many names with different meanings.

无穷公理所要说的，可以通过存在无限多个具有不同指谓的名称，在语言中自行表达出来。

1233 It is possible to imagine a world in which the axiom of reducibility is not valid.

6.1233 可能设想一个世界，其中可归约性公理是无效的。

Propositions like Russell's 'axiom of reducibility' are not logical propositions, and this explains our feeling that, even if they were true, their truth could only be the result of a fortunate accident.

如罗素的"可归纳性公理"这类命题不是逻辑命题，这就说明了我们的这种感觉：即使这些命题为真，也只能是一件碰巧的偶然事情。

This thesis inductively points out where the logicians did not satisfied with the theory of type mainly lies in two points, the axiom of reducibility first and the vicious-circle principle second. This thesis has discussed Ramsay's improvements as well as the criticism from Godel. Then, it observes that they two had a common view, viz. rejecting the vicious-circle principle from the points of Realism. Against Russell's insisting on this principle, such a rejecting seems so distinguished, which, this thesis argued, was the deep difference between Realism and Nominalism shedding on the reality of classes.

文中主要探讨了莱姆塞对类型论所做的改进以及哥德尔对类型论的批评，指出这二者的共同点是从实在论的立场来拒斥恶性循环原则，他们对恶性循环原则的拒斥同罗素对它的坚持形成了鲜明的对比，本文认为，这种对比所反映出来的差别实际上就是在类的实在性问题上实在论和唯名论的差别。

Axiom 1 tells me that we can not love the time, but time will still love you.

公理1告诉我，我们可以不爱时间，但是时间仍会爱你。

My second axiom is that most people are wrong most of the time.

第二个定理是，大部分人在大部分时间都是错的。

It is an axiom of criminal law, and, consequently, you understand its full application.

这是一句犯罪学上的格言，您当然充分了解它的意义了。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。