@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:Q574902 rdfs:label "teorema d'incompletesa de Tarski"@ca,
        "Tarského věta o nedefinovatelnosti"@cs,
        "Tarskis Undefinierbarkeitssatz"@de,
        "Tarski's undefinability theorem"@en,
        "teoremo de nedifinebleco de vero"@eo,
        "teorema de indefinibilidad de Tarski"@es,
        "théorème de Tarski"@fr,
        "משפט האי-גדירות של טרסקי"@he,
        "teorema di indefinibilità di Tarski"@it,
        "タルスキの定義不可能性定理"@ja,
        "타르스키의 증명 불가능성 정리"@ko,
        "Tarski's undefinability theorem"@nl,
        "Teorema da indefinibilidade de Tarski"@pt,
        "teorema Tarski"@ro,
        "Теорема Тарского о невыразимости истины"@ru,
        "塔斯基不可定義定理"@zh ;
    schema1:dateModified "2026-10-11T02:00:48+00:00"^^xsd:dateTime ;
    schema1:description "mathematischer Satz"@de,
        "theorem that truth in the standard model of a formal system cannot be defined within the system"@en,
        "la teoremo, ke vero en la norma modelo de formala sistemo ne estas difinebla interne de la sistemo"@eo,
        "proposición que afirma que la verdad en el modelo estándar de un sistema formal no puede definirse dentro del propio sistema"@es,
        "théorème limitatif"@fr,
        "teorema utilizzato in logica matematica, fondamenti della matematica e semantica formale"@it,
        "1933年にアルフレト・タルスキによって証明された「算術的な真理を算術内で定義することはできない」事を示した数学定理"@ja,
        "Princípio matemático"@pt ;
    schema1:version 2555751242 ;
    wikibase:identifiers 3 ;
    wikibase:sitelinks 11 ;
    wikibase:statements 7 ;
    skos:altLabel "teoremo de Tarski"@eo,
        "théorème d'incomplétude de Tarski"@fr,
        "משפט אי-הגדירות של האמת של טרסקי"@he,
        "משפט אי-הגדירות של טרסקי"@he,
        "teorema di Tarski"@it,
        "タルスキの定義不能性定理"@ja ;
    p:P138 wds:q574902-7b00819b-4cc7-3828-48c5-1fd981b37520 ;
    p:P227 wds:Q574902-44F7A3D0-5B5A-4DB6-9E6D-C3F85B951BE7 ;
    p:P31 wds:Q574902-B6328741-5C16-4959-8A02-C45F985F8CB1 ;
    p:P361 wds:Q574902-E2DB3B09-DC51-47FA-B6E2-3D0964C465EF ;
    p:P6104 wds:Q574902-01BF8F17-309E-4272-9944-12D7DD3E0DFD ;
    p:P6366 wds:Q574902-BF8F3A11-3739-4401-8A84-C231546E2A7B ;
    p:P646 wds:Q574902-CE548521-F75E-40A3-97BB-46114030FD54 ;
    wdtn:P227 <https://d-nb.info/gnd/1165695189> ;
    wdtn:P6366 <https://makg.org/entity/2776494082> ;
    wdt:P138 wd:Q207534 ;
    wdt:P227 "1165695189" ;
    wdt:P31 wd:Q65943 ;
    wdt:P361 wd:Q944443 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "2776494082" ;
    wdt:P646 "/m/02sfqr" .