@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:Q920796 rdfs:label "axioma del parell"@ca,
        "gwireb baru"@cy,
        "Paarmengenaxiom"@de,
        "Αξίωμα της ζεύξης"@el,
        "axiom of pairing"@en,
        "Axiom of pairing"@en-ca,
        "Axiom of pairing"@en-gb,
        "aksiomo de parigo"@eo,
        "axioma del par"@es,
        "اصل موضوع زوجسازی"@fa,
        "axiome de la paire"@fr,
        "אקסיומת הזיווג"@he,
        "Aksiom para"@hr,
        "páraxióma"@hu,
        "assioma della coppia"@it,
        "対の公理"@ja,
        "Assioma dal para"@lmo,
        "axiom of pairing"@nl,
        "aksjomat pary"@pl,
        "axioma do par"@pt,
        "Axioma do par"@pt-br,
        "axioma împerecherii"@ro,
        "аксиома пары"@ru,
        "aksiom o paru"@sl,
        "Аксиома упаривања"@sr,
        "Аксиома упаривања"@sr-ec,
        "Aksioma uparivanja"@sr-el,
        "аксіома пари"@uk,
        "偶集公理"@yue,
        "配对公理"@zh,
        "配对公理"@zh-hans,
        "配對公理"@zh-hant,
        "配對公理"@zh-hk ;
    schema1:dateModified "2025-12-29T11:11:53+00:00"^^xsd:dateTime ;
    schema1:description "axiom"@en,
        "二元以上の集合の存在を定める公理"@ja,
        "założenie w teorii mnogości; jeden z aksjomatów ZF"@pl,
        "postula que dados dois conjuntos, existe um conjunto que os contenha como elementos"@pt ;
    schema1:version 2448565328 ;
    wikibase:identifiers 6 ;
    wikibase:sitelinks 18 ;
    wikibase:statements 11 ;
    skos:altLabel "axiom of the unordered pair"@en,
        "axioma de pares"@es,
        "اصل موضوع زوج سازی"@fa,
        "aksjomat pary nieuporządkowanej"@pl,
        "Аксиом неуређеног пара"@sr,
        "Аксиом упаривања"@sr,
        "Аксиома неуређеног пара"@sr,
        "对集公理"@zh ;
    p:P1417 wds:Q920796-4A2E9A91-5B9A-4BB9-8AE6-24F5D38C3D80 ;
    p:P2534 wds:Q920796-0840FA57-DEAA-4BAB-9F87-4BFC2DEB2E78 ;
    p:P2579 wds:Q920796-04721d38-4b98-91f7-0396-f81236bdaf5b ;
    p:P2812 wds:Q920796-4a4c787b-4ee6-9fdb-e905-34e33fde433a ;
    p:P31 wds:Q920796-885323ca-42c7-b2bd-631f-6713f46864b8 ;
    p:P361 wds:Q920796-CA005A73-4445-4693-86F3-362137EBCEDF ;
    p:P4215 wds:Q920796-F6371993-7FED-4FE5-B280-152BD0A8A801 ;
    p:P6104 wds:Q920796-273A36DA-4D1D-47D4-B171-E21666FEF58E ;
    p:P6366 wds:Q920796-8FE17569-B767-4AB3-98CB-8D592A5F70F6 ;
    p:P646 wds:Q920796-77C1F1AF-E149-49B9-A4DE-E150682BFE6F ;
    p:P6781 wds:Q920796-035e3c05-418e-dedd-c06b-b97a4d0be94d ;
    wdtn:P6366 <https://makg.org/entity/2776439378> ;
    wdt:P1417 "topic/axiom-of-pairing" ;
    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><mi mathvariant=\"normal\">&#x2203;</mi><mi>C</mi><mspace width=\"0.167em\"></mspace><mi mathvariant=\"normal\">&#x2200;</mi><mi>D</mi><mspace width=\"0.167em\"></mspace><mo stretchy=\"false\">[</mo><mi>D</mi><mo stretchy=\"false\">&#x2208;</mo><mi>C</mi><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mo>&#x27FA;</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mo stretchy=\"false\">(</mo><mi>D</mi><mo stretchy=\"false\">=</mo><mi>A</mi><mo stretchy=\"false\">&#x2228;</mo><mi>D</mi><mo stretchy=\"false\">=</mo><mi>B</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">]</mo></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P2579 wd:Q191849 ;
    wdt:P2812 "AxiomoftheUnorderedPair" ;
    wdt:P31 wd:Q36191904 ;
    wdt:P361 wd:Q3632199 ;
    wdt:P4215 "axiom of pairing" ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "2776439378" ;
    wdt:P646 "/m/0ds1d" ;
    wdt:P6781 "Axiom:Axiom_of_Pairing" .