找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 完全性定理
完全性定理(completeness theorem)，也称哥德尔完全性定理,是数理逻辑中重要的定理，是建立之间的对应语义真理和句法可证明在一阶逻辑，在1929年由库尔特·哥德尔首先证明。完备性定理说，如果一个公式在逻辑上是有效的，那么这个公式就有一个有限的推论（形式证明）。 — 拼音 wán quán xìng dìng lǐ，更新 2026-07-12 07:42:35
| 拼音 | wán quán xìng dìng lǐ |
|---|---|
| 拼音字母 | wan quan xing ding li |
| 首字母 | wqxdl |
| 注音 | ㄨㄢˊ ㄑㄩㄢˊ ㄒㄧㄥˋ ㄉㄧㄥˋ ㄌㄧˇ |
| 注音符号 | ㄨㄢ ㄑㄩㄢ ㄒㄧㄥ ㄉㄧㄥ ㄌㄧ |