@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:Q740424 rdfs:label "axioma d'extensionalitat"@ca,
        "gwireb yr ymestyniad"@cy,
        "Extensionalitätsaxiom"@de,
        "Αξίωμα της επεκτασιμότητας"@el,
        "axiom of extensionality"@en,
        "aksiomo de etendeco"@eo,
        "axioma de extensionalidad"@es,
        "ekstensionaalsuse aksioom"@et,
        "اصل موضوع گسترش"@fa,
        "axiome d'extensionnalité"@fr,
        "אקסיומת ההיקפיות"@he,
        "aksiom rasprostranjenosti"@hr,
        "extenzionalitási axióma"@hu,
        "aksioma perluasan"@id,
        "assioma di estensionalità"@it,
        "外延性の公理"@ja,
        "외연성 공리"@ko,
        "assioma d'estensiunalitaa"@lmo,
        "аксиома на распространетост"@mk,
        "gelijkheidsaxioma"@nl,
        "aksjomat ekstensjonalności"@pl,
        "axioma da extensão"@pt,
        "axioma extensionalității"@ro,
        "аксиома объёмности"@ru,
        "aksiom o ekstenzionalnosti"@sl,
        "extensionalitetsaxiomet"@sv,
        "аксіома об'ємності"@uk,
        "外延公理"@yue,
        "外延公理"@zh ;
    schema1:dateModified "2026-10-04T08:57:19+00:00"^^xsd:dateTime ;
    schema1:description "axiom of Zermelo–Fraenkel set theory asserting that set equality is determined by the membership relation"@en,
        "la aksiomo asertanta, ke du aroj havantaj la samajn elementojn estas samaj"@eo,
        "axiome selon lequel deux ensembles ayant les mêmes éléments sont égaux"@fr,
        "同じ構成の集合は一つしか存在しないと定める公理"@ja,
        "założenie w teorii mnogości; jeden z aksjomatów ZF"@pl,
        "aksiom Zermelo-Fraenklove teorije množic"@sl ;
    schema1:version 2552976901 ;
    wikibase:identifiers 11 ;
    wikibase:sitelinks 23 ;
    wikibase:statements 16 ;
    skos:altLabel "axiom of extension"@en,
        "外延性公理"@ja,
        "аксиома на екстензионалност"@mk,
        "aksjomat jednoznaczności"@pl,
        "aksjomat równości"@pl,
        "aksiom ekstenzionalnosti"@sl ;
    p:P10376 wds:Q740424-00c9cafa-4569-d50e-0131-f47f1e2ce8a9 ;
    p:P12888 wds:Q740424-6d54adbb-4b3f-2afb-49b9-d893aef078fc ;
    p:P1417 wds:Q740424-A653B067-1211-4642-933D-58D8FD0C8B7E ;
    p:P2534 wds:Q740424-8620ABB7-5BE2-49E1-A579-0F4F8475EB1F ;
    p:P2579 wds:Q740424-ddaa8f7a-4de1-b7bd-1992-309bb5d0fa32 ;
    p:P2581 wds:Q740424-27FB6FBF-49C5-4210-9435-00D5B2802F7E ;
    p:P2812 wds:Q740424-F291D04B-88C0-47CC-98B7-A4051DCD233E ;
    p:P31 wds:Q740424-cc41625d-46cc-8b59-5617-412e6e5df761 ;
    p:P361 wds:Q740424-85A343BE-B580-4981-9930-FBBA9BC97B40 ;
    p:P3827 wds:Q740424-DC837662-F2E9-43A7-85CD-51335DE595BD ;
    p:P4215 wds:Q740424-11558818-FEF2-484E-8EE2-7D739D8DF51A ;
    p:P6104 wds:Q740424-14078009-65C9-40D0-9D27-FA5B9D53C2D4 ;
    p:P6366 wds:Q740424-3EE458DC-322D-47B6-A23C-0BFB7D3EC674 ;
    p:P646 wds:Q740424-B7C8E8B0-7D88-4690-ADEE-54813C4067DC ;
    p:P6781 wds:Q740424-0f2df7b2-40c5-164e-8568-fb160b4742cd ;
    p:P9621 wds:Q740424-B8C382A1-7F39-4CE6-8AC7-BA5970414F4A ;
    wdtn:P2581 <http://babelnet.org/rdf/s03314802n> ;
    wdtn:P6366 <https://makg.org/entity/90984967> ;
    wdt:P10376 "computer-science/extensionality-axiom" ;
    wdt:P12888 "ax-ext" ;
    wdt:P1417 "topic/axiom-of-extensionality" ;
    wdt:P2534 "<math class=\"mwe-math-element mwe-math-element-inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow data-mjx-texclass=\"ORD\"><mstyle displaystyle=\"true\" scriptlevel=\"0\"><mi mathvariant=\"normal\">&#x2200;</mi><mi>A</mi><mspace width=\"0.167em\"></mspace><mi mathvariant=\"normal\">&#x2200;</mi><mi>B</mi><mspace width=\"0.167em\"></mspace><mo stretchy=\"false\">(</mo><mi mathvariant=\"normal\">&#x2200;</mi><mi>X</mi><mspace width=\"0.167em\"></mspace><mo stretchy=\"false\">(</mo><mi>X</mi><mo stretchy=\"false\">&#x2208;</mo><mi>A</mi><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mo>&#x27FA;</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mi>X</mi><mo stretchy=\"false\">&#x2208;</mo><mi>B</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">&#x21D2;</mo><mi>A</mi><mo stretchy=\"false\">=</mo><mi>B</mi><mo stretchy=\"false\">)</mo></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P2579 wd:Q191849 ;
    wdt:P2581 "03314802n" ;
    wdt:P2812 "AxiomofExtensionality" ;
    wdt:P31 wd:Q36191904 ;
    wdt:P361 wd:Q3632199 ;
    wdt:P3827 "axiom-of-extensionality" ;
    wdt:P4215 "axiom of extensionality" ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "90984967" ;
    wdt:P646 "/m/0ds00" ;
    wdt:P6781 "Axiom:Axiom_of_Extension" ;
    wdt:P9621 "assioma-di-estensionalita" .