Gödel's completeness theorem
Sign in to savefundamental theorem in mathematical logic
Wikidata facts
- Instance of
- theorem
- Part of
- list of theorems
- Named after
- Kurt Gödel
Show 4 more facts
- time of discovery or invention
- 1929-00-00
- different from
- Gödel's incompleteness theorems
- maintained by WikiProject
- WikiProject Mathematics
- studied by
- mathematical logic
Sources (2)
via Wikidata · CC0