Gödel's completeness theorem

fundamental theorem in mathematical logic
rdfs:label
"Gödel's completeness theorem"@en
skos:altLabel
"Gödelova věta o úplnosti"@cs
"Věta o korektnosti"@cs
"Věta o úplnosti"@cs
"Věta o úplnosti predikátové logiky"@cs
schema:description
"fundamental theorem in mathematical logic"@en
schema:dateModified "2026-01-11T09:36:37+00:00"^^xsd:dateTime
schema:version 2453886863
wikibase:identifiers 6
wikibase:sitelinks 18
wikibase:statements 13
p:P10283 wd:statement/Q902052-A4EEFE56-F093-4749-9EB3-DEE59823036E
p:P1368 wd:statement/Q902052-1813f808-4bb1-ff2b-8b3f-80ec124b40ff
p:P138 wd:statement/q902052-1da961f9-4ecc-591f-d23a-41bd543fcb98
p:P1417 wd:statement/Q902052-9E4671C0-B412-44CC-80D9-9646AFA2351C
p:P1889 wd:statement/Q902052-d071a8dd-45cc-07d5-8fb3-d27a935e71b9
p:P2579 wd:statement/Q902052-26f7b6f0-4545-7512-2d2f-f15ffd3eb8ce
p:P2812 wd:statement/Q902052-25b13ac5-48f9-8369-77e6-8b573e01baa8
p:P31 wd:statement/Q902052-32105797-4cd5-5f6a-b047-04a88cd0210e
p:P361 wd:statement/Q902052-B45E47F7-CC24-407B-9C97-0FDDA7BBBB85
p:P575 wd:statement/Q902052-7e442b41-44f5-749d-59d8-5092ba51594d
p:P6104 wd:statement/Q902052-500428B9-33EF-49D9-BDAC-186A35F4B6E9
p:P6366 wd:statement/Q902052-73E6844F-C394-49F5-81C7-DA0AF2E59DDD
p:P646 wd:statement/Q902052-7B2B5B4B-9737-4FE8-B65E-57BCDE24BEAE
p:direct-normalized/P6366 <https://makg.org/entity/200116569>
wdt:P10283 "C200116569"
wdt:P1368 "000297958"
wdt:P138 Kurt Gödel
wdt:P1417 "topic/Godels-completeness-theorem"
wdt:P1889 Gödel's incompleteness theorems
wdt:P2579 mathematical logic
wdt:P2812 "GoedelsCompletenessTheorem"
wdt:P31 theorem
wdt:P361 list of theorems
wdt:P575 "1929-01-01T00:00:00+00:00"^^xsd:dateTime
wdt:P6104 WikiProject Mathematics
wdt:P6366 "200116569"
wdt:P646 "/m/038fd"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata