Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00405927n
Noun Named Entity
Categories: Teoremas de matemática, Lógica
PT
teorema da completude de Gödel  Completude de godel  Completude de gödel  Teorema da completude de godel  teorema completude
PT
O Teorema da completude de Gödel é um importante teorema da lógica matemática, demonstrado originalmente por Kurt Gödel, em 1929. Wikipedia
Definitions
Relations
Sources
PT
O Teorema da completude de Gödel é um importante teorema da lógica matemática, demonstrado originalmente por Kurt Gödel, em 1929. Wikipedia
IS A
teorema
PART OF
lógica matemática
DIFFERENT FROM
teoremas da incompletude de Gödel
NAMED AFTER
Kurt Gödel
Wikipedia
PT
teorema da completude de Gödel
Wikidata
PT
teorema da completude de Gödel
Wikipedia Redirections
PT
Completude de godel, Completude de Gödel, Completude de gödel, Teorema da completude de godel, Teorema da completude de gödel
Wikidata Alias
PT
Completude de godel, Completude de gödel, Teorema da completude de godel
Wikipedia Translations
PT
teorema completude

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