Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00405927n
Noun Named Entity
Categories: クルト・ゲーデル, 数理論理学, 数学のエポニム, メタ定理, 数学に関する記事
JA
ゲーデルの完全性定理  完全性定理
JA
数理論理学においてゲーデルの完全性定理（ゲーデルのかんぜんせいていり、英: Gödel's completeness theorem、独: Gödelscher Vollständigkeitssatz）とは、一階述語論理の恒真な論理式はその公理系からすべて導出可能であることを示した定理を言う。 Wikipedia
Definitions
Relations
Sources
JA
数理論理学においてゲーデルの完全性定理（ゲーデルのかんぜんせいていり、英: Gödel's completeness theorem、独: Gödelscher Vollständigkeitssatz）とは、一階述語論理の恒真な論理式はその公理系からすべて導出可能であることを示した定理を言う。 Wikipedia
一階述語論理の恒真な論理式はその公理系からすべて導出可能であることを示した定理 Wikidata
IS A
定理
PART OF
数理論理学
DIFFERENT FROM
ゲーデルの不完全性定理
NAMED AFTER
クルト・ゲーデル
Wikipedia
JA
ゲーデルの完全性定理
Wikidata
JA
ゲーデルの完全性定理
Wikipedia Redirections
JA
完全性定理
Wikidata Alias
JA
完全性定理

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