Gödel's completeness theorem (Q902052)
Jump to navigation
Jump to search
fundamental theorem in mathematical logic
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Gödel's completeness theorem |
fundamental theorem in mathematical logic |
Statements
1929
0 references
Identifiers
1 reference
Sitelinks
Wikipedia(18 entries)
- cswiki Gödelova věta o úplnosti predikátové logiky
- cvwiki Гёделĕн туллилĕх теореми
- dewiki Gödelscher Vollständigkeitssatz
- enwiki Gödel's completeness theorem
- eswiki Teorema de completitud de Gödel
- fawiki قضیه تمامیت گودل
- frwiki Théorème de complétude de Gödel
- hewiki משפט השלמות של גדל
- huwiki Gödel teljességi tétele
- itwiki Teorema di completezza di Gödel
- jawiki ゲーデルの完全性定理
- kowiki 괴델의 완전성 정리
- nlwiki Volledigheidsstelling van Gödel
- ptwiki Teorema da completude de Gödel
- ruwiki Теорема Гёделя о полноте
- srwiki Геделова теорема о потпуности
- ukwiki Теорема Геделя про повноту
- zhwiki 哥德尔完备性定理