@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:Q904423 rdfs:label "аксіяматычная тэорыя мностваў"@be,
        "аксіяматычная тэорыя мностваў"@be-tarask,
        "স্বতঃসিদ্ধমূলক সেট তত্ত্ব"@bn,
        "Teoria de conjunts axiomàtica"@ca,
        "axiomatická teorie množin"@cs,
        "Damcaniaeth setiau wirebol"@cy,
        "aksiomatisk mængdelære"@da,
        "axiomatische Mengenlehre"@de,
        "axiomatic set theory"@en,
        "aksioma aroteorio"@eo,
        "teoría axiomática de conjuntos"@es,
        "نظریه اصل موضوعی مجموعهها"@fa,
        "aksiomaattinen joukko-oppi"@fi,
        "théorie axiomatique des ensembles"@fr,
        "תורת הקבוצות האקסיומטית"@he,
        "axiomatikus halmazelmélet"@hu,
        "teoria assiomatica degli insiemi"@it,
        "公理的集合論"@ja,
        "аксиоматска теорија на множествата"@mk,
        "teori set aksiom"@ms,
        "axiomatische verzamelingenleer"@nl,
        "aksiomatisk mengdelære"@nn,
        "teoria axiomática de conjuntos"@pt,
        "аксиоматическая теория множеств"@ru,
        "aksiomska teorija množic"@sl,
        "Аксиоматска теорија скупова"@sr,
        "Аксиоматска теорија скупова"@sr-ec,
        "Aksiomatska teorija skupova"@sr-el,
        "mängdteoretiska axiom"@sv,
        "аксіоматична теорія множин"@uk,
        "子集公理"@yue,
        "公理化集合论"@zh,
        "公理化集合论"@zh-hans,
        "公理化集合論"@zh-hant,
        "公理化集合論"@zh-hk ;
    schema1:dateModified "2026-10-04T08:55:46+00:00"^^xsd:dateTime ;
    schema1:description "Teilgebiet der Mathematik"@de,
        "version of set theory in which axioms are taken as uninterpreted rather than as formalizations of pre-existing truths; defined using a formal logic"@en,
        "teoria degli insiemi basata su assiomi"@it,
        "направление в теории множеств"@ru ;
    schema1:version 2552976464 ;
    wikibase:identifiers 10 ;
    wikibase:sitelinks 17 ;
    wikibase:statements 16 ;
    skos:altLabel "نظریه اصل موضوعی مجموعه ها"@fa,
        "نظریهٔ اصل موضوعی مجموعه ها"@fa,
        "ZF"@he,
        "ZFC"@he,
        "אקסיומות ZF"@he,
        "אקסיומות צרמלו פרנקל"@he,
        "аксиоматика теории множеств"@ru,
        "аксіоматика теорії множин"@uk,
        "аксіоматичні теорії множин"@uk,
        "公理集合論"@zh,
        "公設化集合論"@zh ;
    p:P1051 wds:Q904423-66C83B81-36A4-4E25-8A1B-091EA922BE58 ;
    p:P1889 wds:Q904423-7b9e4fac-49ba-742f-c450-76f5f7393328 ;
    p:P2671 wds:Q904423-7F019D17-6EC8-4B60-8C7C-AC1D40CDE078,
        wds:Q904423-B560BC3E-02D2-4E50-B064-1C9D7FB02091 ;
    p:P279 wds:Q904423-5cf3b6b4-4bb6-d124-7315-99981e9701c0 ;
    p:P2812 wds:Q904423-eb70edf6-44ac-42dd-f807-33cd0933fe0d ;
    p:P2924 wds:Q904423-163f7c2d-4862-b605-3d96-2c6a7cf0b9be ;
    p:P31 wds:Q904423-5bc400ce-42e3-e081-c855-b6eaa49eec74 ;
    p:P3417 wds:Q904423-DF9F4316-3030-47CF-86E9-CB38DB6B331C ;
    p:P349 wds:Q904423-474495FA-2FE9-490B-B548-E9EDEF438546 ;
    p:P461 wds:Q904423-dc9ba06b-4928-ffe9-bf15-2fd941189acf ;
    p:P6104 wds:Q904423-81F2FC29-B063-4AC7-935C-7C92FBAC3B38 ;
    p:P6781 wds:Q904423-25677874-4dd8-65f4-9338-9b201028c10b ;
    p:P8408 wds:Q904423-98C2636C-ADAA-4329-A60E-AA29F928DC3D ;
    p:P910 wds:Q904423-e3832450-4944-40ed-8c1c-bcccec571d0e ;
    p:P9545 wds:Q904423-F0C062F4-BC1F-4309-847C-9DC999D36027 ;
    wdtn:P2671 <http://g.co/kg/g/11clszl1zd>,
        <http://g.co/kg/g/1224bhbj> ;
    wdtn:P349 <http://id.ndl.go.jp/auth/ndlna/00566631> ;
    wdtn:P8408 <http://kbpedia.org/kko/rc/SystemsOfSetTheory> ;
    wdt:P1051 "7145" ;
    wdt:P1889 wd:Q36191904 ;
    wdt:P2671 "/g/11clszl1zd",
        "/g/1224bhbj" ;
    wdt:P279 wd:Q792542 ;
    wdt:P2812 "AxiomaticSetTheory" ;
    wdt:P2924 "1807494" ;
    wdt:P31 wd:Q12482 ;
    wdt:P3417 "Axiomatic-Set-Theory" ;
    wdt:P349 "00566631" ;
    wdt:P461 wd:Q903783 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6781 "Definition:Axiomatic_Set_Theory" ;
    wdt:P8408 "SystemsOfSetTheory" ;
    wdt:P910 wd:Q8840631 ;
    wdt:P9545 "204306" .