@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:Q179692 rdfs:label "بديهية الاختيار"@ar,
        "axoma d'eleición"@ast,
        "Sermelo aksiomu"@az,
        "Һайлау аксиомаһы"@ba,
        "аксіёма выбару"@be-tarask,
        "নির্বাচনের স্বতঃসিদ্ধ"@bn,
        "axioma de l'elecció"@ca,
        "Axiom výběru"@cs,
        "Gwireb o ddewis"@cy,
        "udvalgsaksiomet"@da,
        "Auswahlaxiom"@de,
        "Αξίωμα της επιλογής"@el,
        "axiom of choice"@en,
        "aksiomo de elekto"@eo,
        "axioma de elección"@es,
        "Valikuaksioom"@et,
        "Hautapenaren axioma"@eu,
        "اصل موضوع انتخاب"@fa,
        "Valinta-aksiooma"@fi,
        "axiome du choix"@fr,
        "Axioma da escolla"@gl,
        "אקסיומת הבחירה"@he,
        "Aksiom izbora"@hr,
        "kiválasztási axióma"@hu,
        "Ընտրության աքսիոմ"@hy,
        "Aksioma pemilihan"@id,
        "assioma della scelta"@it,
        "選択公理"@ja,
        "ამორჩევის აქსიომა"@ka,
        "선택 공리"@ko,
        "Assioma da la scèrnida"@lmo,
        "選擇公理"@lzh,
        "ရွေးချယ်ခြင်း နဂိုမှန်အဆို"@my,
        "Utvalgsaksiomet"@nb,
        "keuzeaxioma"@nl,
        "Utvalsaksiomet"@nn,
        "aksjomat wyboru"@pl,
        "Assiòma ëd selession"@pms,
        "axioma da escolha"@pt,
        "axioma alegerii"@ro,
        "аксиома выбора"@ru,
        "aksiom izbire"@sl,
        "Аксиома избора"@sr,
        "urvalsaxiomet"@sv,
        "สัจพจน์การเลือก"@th,
        "Seçim Aksiyomu"@tr,
        "аксіома вибору"@uk,
        "Tiên đề chọn"@vi,
        "選擇公理"@yue,
        "选择公理"@zh ;
    schema1:dateModified "2026-10-19T20:36:55+00:00"^^xsd:dateTime ;
    schema1:description "аксіёма тэорыі мностваў"@be-tarask,
        "afirmació que el producte d'una col·lecció de conjunts no buits és no buit"@ca,
        "Axiom der Mengenlehre"@de,
        "statement that the product of a collection of non-empty sets is non-empty"@en,
        "la aroteoria aksiomo ke produto de aro de nemalplemaj aroj estas nemalplena"@eo,
        "matemaattisen joukko-opin aksiooma"@fi,
        "axiome selon lequel le produit d'une famille d'ensembles non vides est non vide"@fr,
        "אחת האקסיומות של תורת הקבוצות האקסיומטית"@he,
        "assioma di teoria degli insiemi enunciato da Ernst Zermelo nel 1904"@it,
        "集合論の公理の一つ"@ja,
        "założenie w teorii mnogości o istnieniu pewnych zbiorów; spoza aksjomatyki ZF"@pl,
        "axioma conform căreia produsul unei familii de mulțimi nevide este nevid"@ro,
        "аксиома теории множеств"@ru,
        "集合论概念"@zh ;
    schema1:version 2558915725 ;
    wikibase:identifiers 28 ;
    wikibase:sitelinks 51 ;
    wikibase:statements 65 ;
    skos:altLabel "AC"@de,
        "AC"@en,
        "axioma de eleccion"@es,
        "axioma de escogencia"@es,
        "AC"@fr,
        "選出公理"@ja,
        "АИ"@sr ;
    p:P10283 wds:Q179692-797B00FD-2B9D-4419-94AD-4B2B8E108E20 ;
    p:P10376 wds:Q179692-79bb2a18-4c85-cf7d-ed67-50d4707f282e ;
    p:P11514 wds:Q179692-6B6EE50D-E63A-42C2-91FC-8323AA4DC4FE ;
    p:P12888 wds:Q179692-9003e02e-4394-74b5-0204-a179d9a7a283 ;
    p:P12975 wds:Q179692-85d8112c-0fdf-4893-91ea-806681b26454 ;
    p:P13591 wds:Q179692-7CC33185-0ADD-40DE-AA18-F34233AD01A6 ;
    p:P14039 wds:Q179692-004bfa4a-4326-15f5-f87c-68e287eed2d1,
        wds:Q179692-94fe8ced-41c2-3ee8-43c1-e83eb6644f05 ;
    p:P1417 wds:Q179692-067995ba-4964-3dca-d814-57300c02dea7 ;
    p:P14434 wds:Q179692-ea7b4db7-1d8b-44d5-81c3-0cc794dd3837 ;
    p:P1482 wds:Q179692-7c43fa38-4328-3138-d057-28fb6bb25ed3,
        wds:Q179692-7d1d9704-4853-45d1-57e6-261937f8090e,
        wds:Q179692-7e24d705-4e56-2479-9618-4fed9c9a9f26 ;
    p:P18 wds:Q179692-4ac2c87c-42f5-8e61-101b-2dd23fb10d36,
        wds:Q179692-98a2c2b8-4230-290e-cbb2-225ff1471da7 ;
    p:P1813 wds:Q179692-3d1d1d2b-4adf-321e-a5e9-f85e6f3d17ed,
        wds:Q179692-5dc4005e-4dfb-aecb-ca59-00ba3a1197b7,
        wds:Q179692-cc0f6bc4-466e-6202-4a33-e099a8c5bf41,
        wds:Q179692-cceb6390-4452-b086-17ee-25db1984147e,
        wds:Q179692-d9bfc0e0-40b8-2e31-5c9f-4cbdee4fc9fd ;
    p:P227 wds:Q179692-1dc98286-40f2-5607-f9e5-03a1d58d0a6d ;
    p:P244 wds:Q179692-54CA3235-1B3E-45EC-B6FF-8FDD3BC0D044 ;
    p:P2534 wds:Q179692-dcfbfd34-484a-c15b-95a2-db2d88452ef2 ;
    p:P2579 wds:Q179692-0dd3a36b-4743-6fbf-73c1-245c6a4bfebb ;
    p:P2812 wds:Q179692-4f2ec426-4539-f993-8e84-e2c29759e5b9 ;
    p:P2924 wds:Q179692-3507158A-12CB-498C-9BCD-04CBDB5E30B4 ;
    p:P31 wds:Q179692-342eb1ce-4534-a786-4443-9ab512e466b8 ;
    p:P3123 wds:Q179692-094946C8-3DCE-4854-8D17-7F5E8DDA049C ;
    p:P3222 wds:Q179692-4B4181DB-4DE7-4C33-A082-329B33B70E63 ;
    p:P3235 wds:Q179692-9673756C-3AA6-47CB-8759-ED9082F0E61B ;
    p:P3285 wds:Q179692-0c607e9e-4481-d6d3-550a-4dccfa9e6c2e ;
    p:P3417 wds:Q179692-4725A11A-D96B-495A-8405-A9DAF581D918 ;
    p:P349 wds:Q179692-6A00FF15-B299-4E3F-A4DD-07CF3A4CEF88 ;
    p:P361 wds:Q179692-11A3166E-5760-45B5-A43E-A058FDD544F2,
        wds:Q179692-226845E5-F218-4407-8D9D-9E7286A87D25 ;
    p:P373 wds:Q179692-13914496-E465-405B-80F8-B7104F0202B1 ;
    p:P3827 wds:Q179692-CCC3CF5B-18F6-4341-B290-2E5CD4252651 ;
    p:P4215 wds:Q179692-22B66659-9C20-43F0-A7E6-50F4F8AF4114 ;
    p:P460 wds:Q179692-29829550-40b0-40ab-ffab-bfc76833aed2,
        wds:Q179692-3c35f821-499b-ee88-7b4e-de50af2719cb,
        wds:Q179692-4e465b42-482a-0797-69c1-501f993a4c7a,
        wds:Q179692-5956f22f-45af-d58c-fc51-f0da3cdaa354,
        wds:Q179692-5a92b358-402c-6ad4-8b66-81adff9a4f1f,
        wds:Q179692-b4e1a300-432d-da87-662a-931ce0baa56a,
        wds:Q179692-cdccfed9-48b9-ec87-0904-baeff666163c,
        wds:Q179692-dc300ee4-4de0-4af1-83ec-dcd685e3413d ;
    p:P5008 wds:Q179692-9A6E5C6C-7456-40E9-A509-5ABCAE5BB286 ;
    p:P575 wds:Q179692-e52062db-49ee-19d7-fe50-9548b158799b ;
    p:P61 wds:Q179692-d69235a3-4508-bd7f-d584-c90a812caae9 ;
    p:P6104 wds:Q179692-1F35B1BA-BCB9-45A7-B8FA-6A9033ED4214 ;
    p:P6366 wds:Q179692-58F4EE39-D218-4329-AE2A-DEE39887C77A ;
    p:P646 wds:Q179692-0EAA5176-44DD-41C4-8A26-88B54EAB56E9 ;
    p:P6564 wds:Q179692-b722a63e-43fb-a9a1-18ca-7106302a4d7f ;
    p:P6781 wds:Q179692-56e66526-426d-cf57-1fcf-b926bb8cb463 ;
    p:P7235 wds:Q179692-143048aa-495e-67b9-3e9b-2f72f9e0bb90,
        wds:Q179692-b133f051-4316-24df-5a01-1b9269af8fd2,
        wds:Q179692-b52268fa-403e-d7bd-99ab-d5eefe7ea07c ;
    p:P7305 wds:Q179692-F3EC174D-911A-4AF8-AE39-19FCF5826272 ;
    p:P7554 wds:Q179692-422b2720-4f15-e784-07b8-42fbaf1e723f ;
    p:P7719 wds:Q179692-6cbcf382-46d2-d114-3133-9a5fedd8b9f2,
        wds:Q179692-b7a95e72-4508-7f31-f88b-655433e914b8 ;
    p:P8189 wds:Q179692-A0055F9F-027F-40D2-BC0E-839C4083EB20 ;
    p:P8313 wds:Q179692-1EFD43B7-FDB0-471A-A590-A793235FB71F ;
    p:P910 wds:Q179692-AC4A162A-D5DC-46B1-81CC-5A29392EE790 ;
    p:P9621 wds:Q179692-a9af7428-4d56-80c0-442b-e479fca46422 ;
    wdtn:P227 <https://d-nb.info/gnd/4143673-8> ;
    wdtn:P244 <http://id.loc.gov/authorities/names/sh85010586> ;
    wdtn:P3285 <http://msc2010.org/resources/MSC/2010/03E25> ;
    wdtn:P349 <http://id.ndl.go.jp/auth/ndlna/00570783> ;
    wdtn:P6366 <https://makg.org/entity/151797676> ;
    wdt:P10283 "C151797676" ;
    wdt:P10376 "mathematics/axiom-of-choice" ;
    wdt:P11514 "aksioma-vybora-8031da" ;
    wdt:P12888 "ax-ac" ;
    wdt:P12975 "390" ;
    wdt:P13591 "concept/033f1c2a-ea49-4abf-b174-cb77fc3c0c8d" ;
    wdt:P14039 wd:Q23766486 ;
    wdt:P1417 "topic/axiom-of-choice" ;
    wdt:P14434 wd:Q191849 ;
    wdt:P1482 <https://math.stackexchange.com/tags/axiom-of-choice>,
        <https://mathoverflow.net/tags/axiom-of-choice>,
        <https://proofassistants.stackexchange.com/tags/axiom-of-choice> ;
    wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Axiome%20du%20choix.png> ;
    wdt:P1813 "AE"@ca,
        "AC"@en,
        "AC"@fr,
        "АИ"@sr-cyrl,
        "AI"@sr-latn ;
    wdt:P227 "4143673-8" ;
    wdt:P244 "sh85010586" ;
    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\"><mrow data-mjx-texclass=\"INNER\"><mo data-mjx-texclass=\"OPEN\">(</mo><mi mathvariant=\"normal\">&#x2200;</mi><mi>i</mi><mo stretchy=\"false\">&#x2208;</mo><mi>I</mi><mo stretchy=\"false\">&#x003A;</mo><msub><mi>S</mi><mrow data-mjx-texclass=\"ORD\"><mi>i</mi></mrow></msub><mo stretchy=\"false\">&#x2260;</mo><mi variantform=\"True\">&#x2205;</mi><mo data-mjx-texclass=\"CLOSE\">)</mo></mrow><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mo>&#x27F9;</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><munder><mo stretchy=\"false\">&#x220F;</mo><mrow data-mjx-texclass=\"ORD\"><mrow data-mjx-texclass=\"ORD\"><mi>i</mi><mo stretchy=\"false\">&#x2208;</mo><mi>I</mi></mrow></mrow></munder><msub><mi>S</mi><mrow data-mjx-texclass=\"ORD\"><mi>i</mi></mrow></msub><mo stretchy=\"false\">&#x2260;</mo><mi variantform=\"True\">&#x2205;</mi></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P2579 wd:Q12482 ;
    wdt:P2812 "AxiomofChoice" ;
    wdt:P2924 "2336033" ;
    wdt:P31 wd:Q36191904 ;
    wdt:P3123 "axiom-choice" ;
    wdt:P3222 "urvalsaxiomet" ;
    wdt:P3235 "the-axiom-of-choice" ;
    wdt:P3285 "03E25" ;
    wdt:P3417 "Axiom-of-Choice" ;
    wdt:P349 "00570783" ;
    wdt:P361 wd:Q3632199,
        wd:Q944443 ;
    wdt:P373 "Axiom of choice" ;
    wdt:P3827 "axiom-of-choice" ;
    wdt:P4215 "axiom of choice" ;
    wdt:P460 wd:Q1077462,
        wd:Q1137014,
        wd:Q1457052,
        wd:Q2397775,
        wd:Q277987,
        wd:Q290810,
        wd:Q2908743,
        wd:Q738328 ;
    wdt:P5008 wd:Q6173448 ;
    wdt:P575 "1904-01-01T00:00:00+00:00"^^xsd:dateTime ;
    wdt:P61 wd:Q57248 ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "151797676" ;
    wdt:P646 "/m/0k1r" ;
    wdt:P6564 "axiom-of-choice" ;
    wdt:P6781 "Axiom:Axiom_of_Choice" ;
    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\"><mi>I</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\"><mi>S</mi></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P7305 "3998640" ;
    wdt:P7554 "Axiom_of_choice" ;
    wdt:P7719 wd:Q290810,
        wd:Q4478785 ;
    wdt:P8189 "987007282446705171" ;
    wdt:P8313 "udvalgsaksiomet" ;
    wdt:P910 wd:Q8281674 ;
    wdt:P9621 "assioma-della-scelta" .