@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:Q470981 rdfs:label "axioma de regularitat"@ca,
        "gwireb rheoleidd-dra"@cy,
        "Fundierungsaxiom"@de,
        "Αξίωμα της κανονικότητας"@el,
        "axiom of regularity"@en,
        "Axiom of regularity"@en-ca,
        "Axiom of regularity"@en-gb,
        "aksiomo de reguleco"@eo,
        "axioma de regularidad"@es,
        "axiome de fondation"@fr,
        "אקסיומת היסוד"@he,
        "aksiom dobre utemeljenosti"@hr,
        "a regularitás axiómája"@hu,
        "assioma di regolarità"@it,
        "正則性公理"@ja,
        "정칙성 공리"@ko,
        "assioma de fundaziun"@lmo,
        "regulariteitsaxioma"@nl,
        "aksjomat regularności"@pl,
        "axioma da regularidade"@pt,
        "Axioma da regularidade"@pt-br,
        "аксиома регулярности"@ru,
        "aksiom o regularnosti"@sl,
        "regularitetsaxiomet"@sv,
        "аксіома регулярності"@uk,
        "正規公理"@yue,
        "正则性公理"@zh,
        "正则性公理"@zh-hans,
        "正則性公理"@zh-hant ;
    schema1:dateModified "2026-01-01T02:25:27+00:00"^^xsd:dateTime ;
    schema1:description "gwireb"@cy,
        "Axiom der Mengenlehre"@de,
        "axiom stating that all sets are well-founded"@en,
        "la aksiomo, ke ĉiu nemalplena aro enhavas elementon disan de si"@eo,
        "un axioma que postula que ciertos conjuntos «patológicos» no pueden existir"@es,
        "axiome de la théorie des ensembles que tout ensemble 𝑥 non vide possède un élément élément n’ayant aucun élément en commun avec 𝑥"@fr,
        "assioma della teoria degli insiemi"@it,
        "非空集合の元のもち方を制約する公理"@ja,
        "założenie w teorii mnogości; jeden z aksjomatów ZF"@pl,
        "o axioma que garante que um conjunto não pode ser membro dele mesmo"@pt,
        "aksiom teorije množic"@sl ;
    schema1:version 2449991447 ;
    wikibase:identifiers 7 ;
    wikibase:sitelinks 18 ;
    wikibase:statements 14 ;
    skos:altLabel "axioma de fundació"@ca,
        "Regularitätsaxiom"@de,
        "axiom of foundation"@en,
        "axioma de fundación"@es,
        "axiome de régularité"@fr,
        "assioma della fondatezza"@it,
        "assioma di fondazione"@it,
        "基礎の公理"@ja,
        "正則性の公理"@ja,
        "axioma da Regularidade"@pt,
        "axioma da fundação"@pt,
        "аксиома основания"@ru,
        "аксиома фундирования"@ru,
        "aksiom regularnosti"@sl,
        "aksiom utemeljenosti"@sl,
        "基础公理"@zh-hans,
        "正则公理"@zh-hans,
        "正规公理"@zh-hans,
        "基礎公理"@zh-hant ;
    p:P12888 wds:Q470981-bf760ba3-483c-b971-a7d6-423cff3f1079 ;
    p:P2534 wds:Q470981-187f9994-465e-324e-6ccd-d245b1b28cc6 ;
    p:P2579 wds:Q470981-d6383ed0-414d-05d8-74ab-42c98d0052ef ;
    p:P2812 wds:Q470981-80816570-3E25-4AC5-828C-DA97FADB71B7 ;
    p:P31 wds:Q470981-08de8c42-496d-21d7-327c-611734527d73 ;
    p:P361 wds:Q470981-B458DAB3-1BF7-4DCB-9DF7-98F56BD2CE5D ;
    p:P3827 wds:Q470981-E5255B05-2C1B-42C4-B4FB-408D7C150675 ;
    p:P4215 wds:Q470981-c5d2d061-412c-6197-f6ce-dce9d636c209 ;
    p:P6104 wds:Q470981-A8D3E335-3AFC-4A41-922C-27BC921266AD ;
    p:P6366 wds:Q470981-90B105A5-848B-4ADD-9B84-100D4CD1C92B ;
    p:P646 wds:Q470981-09CA2887-A079-43A4-9A27-CB03B43BCD5A ;
    p:P6781 wds:Q470981-a0105e3e-4e6a-e267-5e5f-84daf9ba8423 ;
    p:P7235 wds:Q470981-3896d90d-49b3-03d8-4520-247288c2c8b9,
        wds:Q470981-85f221e8-486c-cf73-a12a-b30eae73ff29 ;
    wdtn:P6366 <https://makg.org/entity/2780276191> ;
    wdt:P12888 "ax-reg" ;
    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>x</mi><mo stretchy=\"false\">&#x003A;</mo><mi>x</mi><mo stretchy=\"false\">&#x2260;</mo><mi variantform=\"True\">&#x2205;</mi><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mo>&#x27F9;</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mi mathvariant=\"normal\">&#x2203;</mi><mi>y</mi><mo stretchy=\"false\">&#x2208;</mo><mi>x</mi><mo stretchy=\"false\">&#x003A;</mo><mi>y</mi><mo stretchy=\"false\">&#x2229;</mo><mi>x</mi><mo stretchy=\"false\">=</mo><mi variantform=\"True\">&#x2205;</mi></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P2579 wd:Q191849 ;
    wdt:P2812 "AxiomofFoundation" ;
    wdt:P31 wd:Q36191904 ;
    wdt:P361 wd:Q3632199 ;
    wdt:P3827 "axiom-of-regularity" ;
    wdt:P4215 "axiom of foundation" ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "2780276191" ;
    wdt:P646 "/m/0ww8" ;
    wdt:P6781 "Axiom:Axiom_of_Foundation" ;
    wdt:P7235 "<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 variantform=\"True\">&#x2205;</mi></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML>,
        "<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\"><mo stretchy=\"false\">&#x2229;</mo></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> .