查询词典 axiomatize

Among many other things, he is famous for his attempt to axiomatize mathematics.

在许多其他事情，他是有名的企图公理化数学。

Although the axiomatize of set theory dispels the crisis of axiomatizing in some time.

虽然集合论的公理化一度时期曾化解了悖论给公理化方法所带来的危机，但不久哥德尔不完全性定理就深刻地揭露了公理化方法不可避免的局限性。

The Gai Tian cosmic mode of "Zhou Bi's Calculation Book" is an eligible attempt to axiomatize the theories in ancient China.

指出《周髀算经》中的盖天宇宙模式是中国古代一次完全够格的公理化尝试。

Secondly, by using multimodal propositional logic, we axiomatize AKRL and prove soundness, completeness, and finite model property of AKRL.

在AKRL完备性的证明中，指出了AKRL在表示情境的对象性方面的困难，从而论证了用表达能力更强的逻辑系统来分析研究类比知识表示系统的必要性。

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.

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