哥德尔完全性定理英文解释翻译、哥德尔完全性定理的近义词、反义词、例句
英语翻译:
【计】 Godel completeness theorem
分词翻译:
哥的英语翻译:
elder brother
德的英语翻译:
heart; mind; morals; virtue
尔的英语翻译:
like so; you
完全的英语翻译:
completeness; entireness; entirety; absoluteness; every bit; perfectness
【医】 hol-; holo-
定理的英语翻译:
theorem
【化】 theorem
【医】 theorem
网络扩展解释
哥德尔完全性定理
哥德尔完全性定理,英文为Gödel's completeness theorem,读音为['ɡɜdəlz kəm'pliːtnɛs 'θiərəm],是一条逻辑学定理。
英语解释翻译
该定理表明,如果一个命题集合存在一个真实的模型,那么在该命题集合中就可以推导出任何真实命题。反过来也成立,如果一个命题集合中的任何真实命题都可以从该命题集合中被推导出来,那么该命题集合就是完全的。
英文用法
完全性定理通常用于证明各种逻辑系统的一致性和完备性,并与哥德尔不完全性定理一起构成了逻辑学中的两大基本定理。
英文例句
- 哥德尔完全性定理对逻辑学理论的发展有着深刻的影响。
- 在布尔逻辑中,哥德尔完全性定理仍然适用。
英文近义词
- completeness theorem:完全性定理
- Göding completeness theorem:哥德尔完全性定理
英文反义词
- incompleteness theorem:不完全性定理
- Gödel's incompleteness theorem:哥德尔不完全性定理
英文单词常用度
哥德尔完全性定理不是常见的日常用语,但在逻辑学、数学等领域内有一定的使用频率。