@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@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:Q1031460 rdfs:label "segon teorema d'incompletesa de Gödel"@ca,
        "Gödels anden ufuldstændighedssætning"@da,
        "Gödel's second incompleteness theorem"@en,
        "dua teoremo de nekompleteco de Gödel"@eo,
        "second théorème d'incomplétude de Gödel"@fr,
        "Gödel második nemteljességi tétele"@hu,
        "segundo teorema da incompletude de Gödel"@pt,
        "segundo teorema da incompletude de Gödel"@pt-br,
        "Gödlov drugi izrek o nepopolnosti"@sl ;
    schema1:dateModified "2026-03-18T19:46:57+00:00"^^xsd:dateTime ;
    schema1:description "mathematischer Satz"@de,
        "theorem that no formal system capable of basic arithmetic can prove its own consistency"@en,
        "la teoremo, ke neniu formala sistemo kapabla pri baza aritmetiko povas pruvi, ke ĝi ne kapablas pruvi malveron"@eo,
        "matematikai állítás"@hu,
        "matematični izrek"@sl ;
    schema1:version 2473371660 ;
    wikibase:identifiers 3 ;
    wikibase:sitelinks 1 ;
    wikibase:statements 9 ;
    p:P138 wds:Q1031460-e43463b2-4bd6-103b-841f-7a591b7f6417 ;
    p:P1417 wds:Q1031460-D63BCA71-6633-428B-9F1A-0E5DDA19F673 ;
    p:P2579 wds:Q1031460-ca8d6577-4b21-bc91-8a0d-5e19b75c0441 ;
    p:P2671 wds:Q1031460-908BE5C2-E8FC-42E4-9E19-CD55ABFCBADB ;
    p:P2812 wds:Q1031460-a0fec64a-467d-0f3f-f932-7e6243e0a20a ;
    p:P31 wds:Q1031460-c0550e09-4b2c-85cc-76d7-ff312dbf2847 ;
    p:P361 wds:Q1031460-aa5ce7a0-4d43-c5e5-63f7-3348dc049c6f ;
    p:P6104 wds:Q1031460-77FE91E3-B74E-43C7-9CD5-6BCCE7FDC32E ;
    p:P921 wds:Q1031460-9101d315-40e3-99ba-52fc-10b0ae66f181 ;
    wdtn:P2671 <http://g.co/kg/g/122vxtf1> ;
    wdt:P138 wd:Q41390 ;
    wdt:P1417 "topic/Godels-second-incompleteness-theorem" ;
    wdt:P2579 wd:Q852732 ;
    wdt:P2671 "/g/122vxtf1" ;
    wdt:P2812 "GoedelsSecondIncompletenessTheorem" ;
    wdt:P31 wd:Q65943 ;
    wdt:P361 wd:Q200787 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P921 wd:Q23077442 .