completeness theorem中文，completeness theorem的意思，completeness theorem翻译及用法

2026-06-20 21:33 浏览次数 31

completeness theorem

[kəmˈpli:tnis ˈθi:ərəm]

完全性定理

completeness theorem 例句

英汉例句

  • the aim of this article is to establish the completeness theorem of elementary first-order temporal logic.

    本文的目的是：为基本的一阶时态逻辑建立一个完备性定理。

  • first, 「completeness」 in completeness theorem is distinct from that one in incompleteness theorems.

    首先，哥德尔的完全性定理和不完全性定理中的「完全性」是两回事。

相关热词