@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q902052 rdfs:label "teorema de completesa de Gödel"@ca,
        "Gödelova věta o úplnosti predikátové logiky"@cs,
        "Гёделĕн туллилĕх теореми"@cv,
        "Gödelscher Vollständigkeitssatz"@de,
        "Gödel's completeness theorem"@en,
        "kompletec-teoremo de Gödel"@eo,
        "teorema de completitud de Gödel"@es,
        "قضیه تمامیت گودل"@fa,
        "théorème de complétude de Gödel"@fr,
        "משפט השלמות של גדל"@he,
        "Gödel teljességi tétele"@hu,
        "Teorema kelengkapan Gödel"@id,
        "Teorema di completezza di Gödel"@it,
        "ゲーデルの完全性定理"@ja,
        "괴델의 완전성 정리"@ko,
        "Gēdela pilnības teorēma"@lv,
        "Volledigheidsstelling van Gödel"@nl,
        "teorema da completude de Gödel"@pt,
        "teorema da completude de Gödel"@pt-br,
        "Теорема Гёделя о полноте"@ru,
        "Gödlov izrek o popolnosti"@sl,
        "Геделова теорема о потпуности"@sr,
        "Геделова теорема о потпуности"@sr-ec,
        "Gedelova teorema o potpunosti"@sr-el,
        "Теорема Геделя про повноту"@uk,
        "哥德尔完备性定理"@zh,
        "哥德尔完备性定理"@zh-hans,
        "哥德爾完備性定理"@zh-hant,
        "哥德爾完備性定理"@zh-hk ;
    schema1:dateModified "2026-01-11T09:36:37+00:00"^^xsd:dateTime ;
    schema1:description "teorema de lógica matemàtica"@ca,
        "pojem z oboru matematické logiky"@cs,
        "mathematischer Satz"@de,
        "fundamental theorem in mathematical logic"@en,
        "teorema del campo de la lógica matemática"@es,
        "théorème de logique mathématique"@fr,
        "matematikai állítás"@hu,
        "teorema fundamental dalam bidang logika matematika"@id,
        "teorema fondamentale della logica matematica"@it,
        "1929年にクルト・ゲーテルが証明した\"一階述語論理の恒真な論理式はその公理系から全て導出可能である\"事を示した定理"@ja,
        "temeljni izrek v matematični logiki"@sl,
        "定理"@zh ;
    schema1:version 2453886863 ;
    wikibase:identifiers 6 ;
    wikibase:sitelinks 18 ;
    wikibase:statements 13 ;
    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,
        "Gödel'scher Vollständigkeitssatz"@de,
        "Vollständigkeitsproblem"@de,
        "Vollständigkeitssatz"@de,
        "kompleteca teoremo de Gödel"@eo,
        "Teorema de completitud de Godel"@es,
        "Teorema de completitud sematica"@es,
        "Teorema de completitud semática"@es,
        "Théorème de complétude"@fr,
        "完全性定理"@ja,
        "괴델의 완비성 정리"@ko,
        "Volledigheidsstelling van Godel"@nl,
        "Volledigheidsstelling van Goedel"@nl,
        "Completude de godel"@pt,
        "Completude de gödel"@pt,
        "Teorema da completude de godel"@pt,
        "Gödelov izrek o popolnosti"@sl,
        "Геделова теорема комплетности"@sr,
        "Геделова теорема о комплетности"@sr,
        "Теорема о потпуности"@sr,
        "Геделя теорема про повноту"@uk,
        "Теорема Ґьоделя про повноту"@uk,
        "哥得尔完备性定理"@zh,
        "哥德尔完全性定理"@zh,
        "强完备性定理"@zh ;
    p:P10283 wds:Q902052-A4EEFE56-F093-4749-9EB3-DEE59823036E ;
    p:P1368 wds:Q902052-1813f808-4bb1-ff2b-8b3f-80ec124b40ff ;
    p:P138 wds:q902052-1da961f9-4ecc-591f-d23a-41bd543fcb98 ;
    p:P1417 wds:Q902052-9E4671C0-B412-44CC-80D9-9646AFA2351C ;
    p:P1889 wds:Q902052-d071a8dd-45cc-07d5-8fb3-d27a935e71b9 ;
    p:P2579 wds:Q902052-26f7b6f0-4545-7512-2d2f-f15ffd3eb8ce ;
    p:P2812 wds:Q902052-25b13ac5-48f9-8369-77e6-8b573e01baa8 ;
    p:P31 wds:Q902052-32105797-4cd5-5f6a-b047-04a88cd0210e ;
    p:P361 wds:Q902052-B45E47F7-CC24-407B-9C97-0FDDA7BBBB85 ;
    p:P575 wds:Q902052-7e442b41-44f5-749d-59d8-5092ba51594d ;
    p:P6104 wds:Q902052-500428B9-33EF-49D9-BDAC-186A35F4B6E9 ;
    p:P6366 wds:Q902052-73E6844F-C394-49F5-81C7-DA0AF2E59DDD ;
    p:P646 wds:Q902052-7B2B5B4B-9737-4FE8-B65E-57BCDE24BEAE ;
    wdtn:P6366 <https://makg.org/entity/200116569> ;
    wdt:P10283 "C200116569" ;
    wdt:P1368 "000297958" ;
    wdt:P138 wd:Q41390 ;
    wdt:P1417 "topic/Godels-completeness-theorem" ;
    wdt:P1889 wd:Q200787 ;
    wdt:P2579 wd:Q1166618 ;
    wdt:P2812 "GoedelsCompletenessTheorem" ;
    wdt:P31 wd:Q65943 ;
    wdt:P361 wd:Q944443 ;
    wdt:P575 "1929-01-01T00:00:00+00:00"^^xsd:dateTime ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "200116569" ;
    wdt:P646 "/m/038fd" .