Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03411111n
Noun Named Entity
Categories: 证明论, 模型论, 数学定理, 數理邏輯
ZH
哥德尔不完备定理  哥德尔不完备性定理  不完備  不完備定理  哥德爾不完全定理
ZH
在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。 Wikipedia
Definitions
Relations
Sources
ZH
在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。 Wikipedia
IS A
定理
HAS PART
EN
Gödel's second incompleteness theorem
EN
Godel's first incompleteness theorem
DIFFERENT FROM
哥德尔完备性定理
NAMED AFTER
库尔特·哥德尔
PROVED BY
库尔特·哥德尔
Wikipedia
ZH
哥德尔不完备定理
Wikidata
ZH
哥德尔不完备定理
Wikipedia Redirections
ZH
不完備, 不完備定理, 哥德尔不完全性定理, 哥德尔不完备性, 哥德尔不完备性定理, 哥德尔定律, 哥德爾不完全定理, 歌德尔不完备定理
Wikidata Alias
ZH
哥德尔不完全性定理, 哥德尔不完备性, 哥德尔不完备性定理, 哥德爾不完全定理, 歌德尔不完备定理
Wikipedia Translations
ZH
不完备性定理, 哥德尔不完备性定理

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License