查询词典 axiom of reducibility
- 与 axiom of reducibility 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
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.
文中主要探讨了莱姆塞对类型论所做的改进以及哥德尔对类型论的批评，指出这二者的共同点是从实在论的立场来拒斥恶性循环原则，他们对恶性循环原则的拒斥同罗素对它的坚持形成了鲜明的对比，本文认为，这种对比所反映出来的差别实际上就是在类的实在性问题上实在论和唯名论的差别。
- 推荐网络例句
-
Do you know, i need you to come back
你知道吗，我需要你回来
-
Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.
1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。
-
Chapter Three: Type classification of DE structure in Sino-Tibetan languages.
第三章汉藏语&的&字结构的类型划分。