axiom of choice

statement that the product of a collection of non-empty sets is non-empty
rdfs:label
"axiom of choice"@en
skos:altLabel
"AC"@en
schema:description
"statement that the product of a collection of non-empty sets is non-empty"@en
schema:dateModified "2026-10-19T20:36:55+00:00"^^xsd:dateTime
schema:version 2558915725
wikibase:identifiers 28
wikibase:sitelinks 51
wikibase:statements 65
p:P10283 wd:statement/Q179692-797B00FD-2B9D-4419-94AD-4B2B8E108E20
p:P10376 wd:statement/Q179692-79bb2a18-4c85-cf7d-ed67-50d4707f282e
p:P11514 wd:statement/Q179692-6B6EE50D-E63A-42C2-91FC-8323AA4DC4FE
p:P12888 wd:statement/Q179692-9003e02e-4394-74b5-0204-a179d9a7a283
p:P12975 wd:statement/Q179692-85d8112c-0fdf-4893-91ea-806681b26454
p:P13591 wd:statement/Q179692-7CC33185-0ADD-40DE-AA18-F34233AD01A6
p:P14039 wd:statement/Q179692-004bfa4a-4326-15f5-f87c-68e287eed2d1
wd:statement/Q179692-94fe8ced-41c2-3ee8-43c1-e83eb6644f05
p:P1417 wd:statement/Q179692-067995ba-4964-3dca-d814-57300c02dea7
p:P14434 wd:statement/Q179692-ea7b4db7-1d8b-44d5-81c3-0cc794dd3837
p:P1482 wd:statement/Q179692-7c43fa38-4328-3138-d057-28fb6bb25ed3
wd:statement/Q179692-7d1d9704-4853-45d1-57e6-261937f8090e
wd:statement/Q179692-7e24d705-4e56-2479-9618-4fed9c9a9f26
p:P18 wd:statement/Q179692-4ac2c87c-42f5-8e61-101b-2dd23fb10d36
wd:statement/Q179692-98a2c2b8-4230-290e-cbb2-225ff1471da7
p:P1813 wd:statement/Q179692-3d1d1d2b-4adf-321e-a5e9-f85e6f3d17ed
wd:statement/Q179692-5dc4005e-4dfb-aecb-ca59-00ba3a1197b7
wd:statement/Q179692-cc0f6bc4-466e-6202-4a33-e099a8c5bf41
wd:statement/Q179692-cceb6390-4452-b086-17ee-25db1984147e
wd:statement/Q179692-d9bfc0e0-40b8-2e31-5c9f-4cbdee4fc9fd
p:P227 wd:statement/Q179692-1dc98286-40f2-5607-f9e5-03a1d58d0a6d
p:P244 wd:statement/Q179692-54CA3235-1B3E-45EC-B6FF-8FDD3BC0D044
p:P2534 wd:statement/Q179692-dcfbfd34-484a-c15b-95a2-db2d88452ef2
p:P2579 wd:statement/Q179692-0dd3a36b-4743-6fbf-73c1-245c6a4bfebb
p:P2812 wd:statement/Q179692-4f2ec426-4539-f993-8e84-e2c29759e5b9
p:P2924 wd:statement/Q179692-3507158A-12CB-498C-9BCD-04CBDB5E30B4
p:P31 wd:statement/Q179692-342eb1ce-4534-a786-4443-9ab512e466b8
p:P3123 wd:statement/Q179692-094946C8-3DCE-4854-8D17-7F5E8DDA049C
p:P3222 wd:statement/Q179692-4B4181DB-4DE7-4C33-A082-329B33B70E63
p:P3235 wd:statement/Q179692-9673756C-3AA6-47CB-8759-ED9082F0E61B
p:P3285 wd:statement/Q179692-0c607e9e-4481-d6d3-550a-4dccfa9e6c2e
p:P3417 wd:statement/Q179692-4725A11A-D96B-495A-8405-A9DAF581D918
p:P349 wd:statement/Q179692-6A00FF15-B299-4E3F-A4DD-07CF3A4CEF88
p:P361 wd:statement/Q179692-11A3166E-5760-45B5-A43E-A058FDD544F2
wd:statement/Q179692-226845E5-F218-4407-8D9D-9E7286A87D25
p:P373 wd:statement/Q179692-13914496-E465-405B-80F8-B7104F0202B1
p:P3827 wd:statement/Q179692-CCC3CF5B-18F6-4341-B290-2E5CD4252651
p:P4215 wd:statement/Q179692-22B66659-9C20-43F0-A7E6-50F4F8AF4114
p:P460 wd:statement/Q179692-29829550-40b0-40ab-ffab-bfc76833aed2
wd:statement/Q179692-3c35f821-499b-ee88-7b4e-de50af2719cb
wd:statement/Q179692-4e465b42-482a-0797-69c1-501f993a4c7a
wd:statement/Q179692-5956f22f-45af-d58c-fc51-f0da3cdaa354
wd:statement/Q179692-5a92b358-402c-6ad4-8b66-81adff9a4f1f
wd:statement/Q179692-b4e1a300-432d-da87-662a-931ce0baa56a
wd:statement/Q179692-cdccfed9-48b9-ec87-0904-baeff666163c
wd:statement/Q179692-dc300ee4-4de0-4af1-83ec-dcd685e3413d
p:P5008 wd:statement/Q179692-9A6E5C6C-7456-40E9-A509-5ABCAE5BB286
p:P575 wd:statement/Q179692-e52062db-49ee-19d7-fe50-9548b158799b
p:P61 wd:statement/Q179692-d69235a3-4508-bd7f-d584-c90a812caae9
p:P6104 wd:statement/Q179692-1F35B1BA-BCB9-45A7-B8FA-6A9033ED4214
p:P6366 wd:statement/Q179692-58F4EE39-D218-4329-AE2A-DEE39887C77A
p:P646 wd:statement/Q179692-0EAA5176-44DD-41C4-8A26-88B54EAB56E9
p:P6564 wd:statement/Q179692-b722a63e-43fb-a9a1-18ca-7106302a4d7f
p:P6781 wd:statement/Q179692-56e66526-426d-cf57-1fcf-b926bb8cb463
p:P7235 wd:statement/Q179692-143048aa-495e-67b9-3e9b-2f72f9e0bb90
wd:statement/Q179692-b133f051-4316-24df-5a01-1b9269af8fd2
wd:statement/Q179692-b52268fa-403e-d7bd-99ab-d5eefe7ea07c
p:P7305 wd:statement/Q179692-F3EC174D-911A-4AF8-AE39-19FCF5826272
p:P7554 wd:statement/Q179692-422b2720-4f15-e784-07b8-42fbaf1e723f
p:P7719 wd:statement/Q179692-6cbcf382-46d2-d114-3133-9a5fedd8b9f2
wd:statement/Q179692-b7a95e72-4508-7f31-f88b-655433e914b8
p:P8189 wd:statement/Q179692-A0055F9F-027F-40D2-BC0E-839C4083EB20
p:P8313 wd:statement/Q179692-1EFD43B7-FDB0-471A-A590-A793235FB71F
p:P910 wd:statement/Q179692-AC4A162A-D5DC-46B1-81CC-5A29392EE790
p:P9621 wd:statement/Q179692-a9af7428-4d56-80c0-442b-e479fca46422
p:direct-normalized/P227 <https://d-nb.info/gnd/4143673-8>
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/sh85010586>
p:direct-normalized/P3285 <http://msc2010.org/resources/MSC/2010/03E25>
p:direct-normalized/P349 <http://id.ndl.go.jp/auth/ndlna/00570783>
p:direct-normalized/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 list of values as qualifiers
wdt:P1417 "topic/axiom-of-choice"
wdt:P14434 Zermelo–Fraenkel set theory
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
"AC"@en
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 set theory
wdt:P2812 "AxiomofChoice"
wdt:P2924 "2336033"
wdt:P31 axiom of set theory
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 list of axioms
list of theorems
wdt:P373 "Axiom of choice"
wdt:P3827 "axiom-of-choice"
wdt:P4215 "axiom of choice"
wdt:P460 König's theorem
Tychonoff's theorem
well-ordering theorem
Krull's theorem
Teichmüller–Tukey lemma
Zorn's lemma
Tarski's theorem
Hausdorff maximal principle
wdt:P5008 Wikipedia:Vital articles/Level/4
wdt:P575 "1904-01-01T00:00:00+00:00"^^xsd:dateTime
wdt:P61 Ernst Zermelo
wdt:P6104 WikiProject Mathematics
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 Zorn's lemma
equivalent of the axiom of choice
wdt:P8189 "987007282446705171"
wdt:P8313 "udvalgsaksiomet"
wdt:P910 Category:Axiom of choice
wdt:P9621 "assioma-della-scelta"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata