@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:Q792542 rdfs:label "Aksiomatiese stelsel"@af,
        "نظام مسلمات"@ar,
        "aksiomatik sistem"@az,
        "аксіяматычная сыстэма"@be-tarask,
        "Аксиоматичен метод"@bg,
        "স্বতঃসিদ্ধ ব্যবস্থা"@bn,
        "sistema axiomàtic"@ca,
        "axiomatický systém"@cs,
        "Axiomensystem"@de,
        "axiomatic system"@en,
        "aksiomsistemo"@eo,
        "sistema axiomático"@es,
        "aksiomaattinen järjestelmä"@fi,
        "système axiomatique"@fr,
        "sistema axiomático"@gl,
        "מערכת אקסיומות"@he,
        "Aksiomatski sustav"@hr,
        "Sistem aksioma"@id,
        "sistema assiomatico"@it,
        "形式理論"@ja,
        "공리계"@ko,
        "аксиоматски систем"@mk,
        "Аксиоматик систем"@mn,
        "sistem aksiom"@ms,
        "နဂိုမှန်အဆို စနစ်"@my,
        "aksiomatisk system"@nb,
        "axiomatische methode"@nl,
        "aksiomatisk system"@nn,
        "system aksjomatyczny"@pl,
        "sistema axiomático"@pt,
        "sistema axiomático"@pt-br,
        "sistem axiomatic"@ro,
        "аксиоматика"@ru,
        "Axiomatický systém"@sk,
        "teorija modelov"@sl,
        "Аксиоматски систем"@sr,
        "axiomatiskt system"@sv,
        "аксіоматика"@uk,
        "公理系统"@zh,
        "公理系统"@zh-cn,
        "公理系统"@zh-hans,
        "公理系統"@zh-hant,
        "公理系統"@zh-hk,
        "公理系統"@zh-mo,
        "公理系统"@zh-my,
        "公理系统"@zh-sg,
        "公理系統"@zh-tw ;
    schema1:dateModified "2026-09-08T10:44:39+00:00"^^xsd:dateTime ;
    schema1:description "teoremlərin məntiqi yolla çıxarılması üçün birlikdə istifadə olunan aksiomlar toplusu"@az,
        "množina axiomů, ze kterých lze odvozovat další sentence"@cs,
        "System von unbewiesenen Annahmen"@de,
        "set of axioms from which some or all axioms can be used in conjunction to logically derive theorems"@en,
        "ensemble d'axiomes dont certains ou tous les axiomes peuvent être utilisés logiquement pour dériver des théorèmes"@fr,
        "conxunto de axiomas a partir dos que algúns ou todos os axiomas poden usarse en conxunto para derivar loxicamente teoremas"@gl,
        "Insieme di assiomi utili per dimostrare teoremi"@it,
        "conjunto de axiomas para deduzir teoremas matematicamente"@pt,
        "由若干公理组成的集合，其中部分或全部公理可相互结合，从而依逻辑推导出定理或结论"@zh ;
    schema1:version 2542199706 ;
    wikibase:identifiers 8 ;
    wikibase:sitelinks 28 ;
    wikibase:statements 19 ;
    skos:altLabel "aksiomatik nəzəriyyə"@az,
        "aksiomlar sistemi"@az,
        "aksiomlar toplusu"@az,
        "сыстэма аксіёмаў"@be-tarask,
        "systém axiomů"@cs,
        "axiomatisches System"@de,
        "axiomatic theory"@en,
        "set of axioms"@en,
        "system of axioms"@en,
        "aksiomaro"@eo,
        "sistema axiomatico"@es,
        "teoria axiomatica"@es,
        "teoría axiomática"@es,
        "aksiomaattinen systeemi"@fi,
        "théorie axiomatique"@fr,
        "conxunto de axiomas"@gl,
        "מערכת אקסיומטית"@he,
        "מערכת הנחות יסוד"@he,
        "קבוצת אקסיומות"@he,
        "תורה אקסיומטית"@he,
        "Aksiomatski sistem"@hr,
        "Sistem Aksioma"@id,
        "Sistem aksiom"@id,
        "Sistem aksiomatik"@id,
        "assiomatica"@it,
        "sistema di assiomi"@it,
        "公理系"@ja,
        "аксиоматика"@mk,
        "sistem aksiometik"@ms,
        "aksiomsystem"@nb,
        "axiomatisch systeem"@nl,
        "aksiomatisk metode"@nn,
        "aksjomatyczny system"@pl,
        "аксиоматическая система"@ru,
        "аксиоматическая теория"@ru,
        "система аксиом"@ru,
        "система аксіом"@uk,
        "公理化"@zh,
        "公理方法"@zh,
        "形式理论"@zh,
        "形式证明"@zh ;
    p:P10283 wds:Q792542-CA531CC0-9C16-4004-BB0A-A89333B18969 ;
    p:P1535 wds:Q792542-09e9c21d-4817-fee9-69ee-30f47c1e3df8 ;
    p:P1552 wds:Q792542-df8a4da5-4ea7-7697-1cb8-b7244b18e7ae,
        wds:Q792542-f2f6391c-4079-ec1c-5d71-21f2f4fe106f ;
    p:P1889 wds:Q792542-c210f747-416e-d85a-9c79-03f24e73a99b ;
    p:P2283 wds:Q792542-099dd1db-46de-a053-8bcf-289ab0d15af6 ;
    p:P2670 wds:Q792542-7f04d4fb-4fbc-fedf-e5e2-5d7a87a8551d ;
    p:P279 wds:Q792542-004c6ed4-4d19-5356-9cbe-196b8b61dccd,
        wds:Q792542-4855eef8-4aef-7be9-f88a-0c85cb06514e,
        wds:Q792542-68d785e3-4bb7-dda3-e0aa-7278d1502fe6 ;
    p:P3417 wds:Q792542-5DA13D69-B7E8-4325-BDBA-A08711E6C050 ;
    p:P3553 wds:Q792542-4F12D0E4-76E3-484D-B87C-021CB6F98C9D ;
    p:P361 wds:Q792542-68b2fd21-499f-dc4c-d841-fc8699544564 ;
    p:P3827 wds:Q792542-BB224E6A-8D18-4281-BAF9-2248A45DA993 ;
    p:P508 wds:q792542-83C29EBD-F8BA-4363-A2EF-EAE49B27EE82 ;
    p:P6366 wds:Q792542-B18059DA-CAAB-4554-A384-215675CACF47 ;
    p:P646 wds:Q792542-80E3086D-5EC1-4123-B351-C61347B9C419 ;
    p:P7305 wds:Q792542-519B8796-8C79-4B56-969C-56259AE7B1B6 ;
    p:P910 wds:Q792542-01D1C0D1-2402-48F7-A53C-068438E319CA ;
    wdtn:P508 <http://purl.org/bncf/tid/17846> ;
    wdtn:P6366 <https://makg.org/entity/125773388> ;
    wdt:P10283 "C125773388" ;
    wdt:P1535 wd:Q65943 ;
    wdt:P1552 wd:Q1319773,
        wd:Q15846555 ;
    wdt:P1889 wd:Q649732 ;
    wdt:P2283 wd:Q48784438 ;
    wdt:P2670 wd:Q17736 ;
    wdt:P279 wd:Q17737,
        wd:Q36161,
        wd:Q649732 ;
    wdt:P3417 "Axiomatic-System" ;
    wdt:P3553 "20002741" ;
    wdt:P361 wd:Q20821272 ;
    wdt:P3827 "axiomatization" ;
    wdt:P508 "17846" ;
    wdt:P6366 "125773388" ;
    wdt:P646 "/m/019sgc" ;
    wdt:P7305 "3867002" ;
    wdt:P910 wd:Q9918348 .