查询词典 axiom of infinity

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.

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

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上，提出逻辑类型论来解决罗素悖论，以非集合论理论为基础，以无穷公理和选择公理为前提，利用逻辑概念定义数学概念，并构造系统，通过逻辑演绎法从逻辑公理推导数学定理。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。