栩科词语词典 - 汉语查词大全 AI 汉语助手
请问「完全性定理」是什么意思?

关于「完全性定理」

拼音 wán quán xìng dìng lǐ,注音 ㄨㄢˊ ㄑㄩㄢˊ ㄒㄧㄥˋ ㄉㄧㄥˋ ㄌㄧˇ。数据更新于 2026-07-15 22:58:16。

拼音字母wan quan xing ding li
拼音首字母wqxdl
注音符号ㄨㄢ ㄑㄩㄢ ㄒㄧㄥ ㄉㄧㄥ ㄌㄧ
注音首符号ㄨㄑㄒㄉㄌ

扩展释义

完全性定理(completeness theorem),也称哥德尔完全性定理,是数理逻辑中重要的定理,是建立之间的对应语义真理和句法可证明在一阶逻辑,在1929年由库尔特·哥德尔首先证明。完备性定理说,如果一个公式在逻辑上是有效的,那么这个公式就有一个有限的推论(形式证明)。

拆字组词

相关词语