@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:Q3984085 rdfs:label "Teoria de conjunts Tarski-Grothendieck"@ca,
        "Tarski-Grothendieck-Mengenlehre"@de,
        "Tarski–Grothendieck set theory"@en,
        "aroteorio de Tarski-Grothendieck"@eo,
        "Teoria degli insiemi di Tarski-Grothendieck"@it,
        "タルスキ–グロタンディエック集合論"@ja,
        "Tarski–Grothendieck set theory"@nl,
        "Teoria dos conjuntos de Tarski-Grothendieck"@pt,
        "Теорія множин Тарського — Гротендіка"@uk,
        "Tarski–Grothendieck集合論"@zh ;
    schema1:dateModified "2026-10-21T09:34:37+00:00"^^xsd:dateTime ;
    schema1:description "system of set theory"@en ;
    schema1:version 2559458257 ;
    wikibase:identifiers 4 ;
    wikibase:sitelinks 5 ;
    wikibase:statements 7 ;
    skos:altLabel "タルスキ=グロタンディーク集合論"@ja,
        "タルスキ＝グロタンディーク集合論"@ja ;
    p:P138 wds:Q3984085-464b293a-48e0-c6c5-2491-252d2867e689,
        wds:Q3984085-eb86fbab-49fb-2051-5cdf-acdc9c834ad7 ;
    p:P31 wds:Q3984085-6ab728f6-466f-8c30-49f3-b05093759643 ;
    p:P6366 wds:Q3984085-19ABC0A0-F693-4567-B6A1-965C8D929B7D ;
    p:P646 wds:Q3984085-055244D4-46B9-4C49-AFD3-85242FA682C1 ;
    p:P6781 wds:Q3984085-4c14f8ed-49b0-1746-8d5c-f9e52b973dfd ;
    p:P7726 wds:Q3984085-f9f89bbb-46d5-93a1-b3dc-9466f75573fd ;
    wdtn:P6366 <https://makg.org/entity/2776908979> ;
    wdt:P138 wd:Q207534,
        wd:Q77141 ;
    wdt:P31 wd:Q904423 ;
    wdt:P6366 "2776908979" ;
    wdt:P646 "/m/0fqc72" ;
    wdt:P6781 "Definition:Tarski-Grothendieck_Set_Theory" ;
    wdt:P7726 "TarskisAxiom" .