axiom of reducibility

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.

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

与axiom of reducibility相关的网络解释 [注：此内容来源于网络，仅供参考]

axiom of reducibility：可化归性公理

axiom of power set 幂集公理 | axiom of reducibility 可化归性公理 | axiom of regularity 正则性公理

axiom of reducibility：可约性公理迭可归化性公理

平行公理 axiom of parallel | 可约性公理迭可归化性公理 axiom of reducibility | 第二可数公理 axiom of second countability

axiom of reducibility：可约性公设;可约性公理

843,"axiom of parallel","平行公设;平行公理" | 844,"axiom of reducibility","可约性公设;可约性公理" | 846,"axiom of separation","分离公设;分离公理"

axiom of reducibility：可约性公理叠可归化性公理

"平行公理","axiom of parallel" | "可约性公理叠可归化性公理","axiom of reducibility" | "第二可数公理","axiom of second countability"