About: Axiom of choice

Property	Value
dbo:description	założenie w teorii mnogości o istnieniu pewnych zbiorów; spoza aksjomatyki ZF (pl) 公理的集合論における公理のひとつで、非空な集合の集合族があったときに、それぞれの集合からひとつずつ元を選び出して新しい集合を作れること。 (ja) Axiom der Mengenlehre (de) statement that the product of a collection of non-empty sets is non-empty (en) assioma di teoria degli insiemi enunciato da Ernst Zermelo nel 1904 (it) אחת האקסיומות של תורת הקבוצות האקסיומטית (iw) axiome selon lequel le produit d'une famille d'ensembles non vides est non vide (fr) la aroteoria aksiomo ke produto de aro de nemalplemaj aroj estas nemalplena (eo) afirmació que el producte d'una col·lecció de conjunts no buits és no buit (ca) аксиома теории множеств (ru) 集合论概念 (zh)
dbo:thumbnail	wiki-commons:Special:FilePath/Axiome_du_choix.png?width=300
dbo:wikiPageExternalLink	http://www.emunix.emich.edu/~phoward/ https://archive.org/details/axiomaticsettheo00supp_0 https://archive.org/details/consequencesofax0000howa https://web.archive.org/web/20090618011008/http:/www.digizeitschriften.de/no_cache/home/jkdigitools/loader/%3Ftx_jkDigiTools_pi1%5BIDDOC%5D=361762 https://web.archive.org/web/20130801134743/http:/www.apronus.com/provenmath/choice.htm http://matwbn.icm.edu.pl/ksiazki/fm/fm46/fm4611.pdf http://www.math.purdue.edu/~hrubin/JeanRubin/Papers/conseq.html https://ghostarchive.org/archive/20221009/http:/matwbn.icm.edu.pl/ksiazki/fm/fm46/fm4611.pdf http://gdz.sub.uni-goettingen.de/no_cache/en/dms/load/img/%3FIDDOC=28526 https://www.encyclopediaofmath.org/index.php/Axiom_of_choice
dbo:wikiPageWikiLink	dbr:ZFC dbr:Sentence_(mathematical_logic) dbr:April_Fools'_Day dbr:Hausdorff_maximal_principle dbr:Hausdorff_paradox dbr:Injective_module dbr:Schröder–Bernstein_theorem dbr:Heyting_arithmetic dbr:Vitali_set dbr:Constructive_set_theory dbr:Tarski's_theorem_about_choice dbr:Grothendieck_universe dbr:Tarski–Grothendieck_set_theory dbr:Axiom_of_determinacy dbr:Definable_set dbr:Trichotomy_(mathematics) dbr:Mathematics dbr:Category_theory dbr:Model_theory dbr:Projective_module dbr:Peano_arithmetic dbr:Abstract_algebra dbr:Algebra dbr:Bertrand_Russell dbr:Ernst_Zermelo dbr:Mathematical_analysis dbr:Mathematical_logic dbr:Alfred_Tarski dbr:Determinacy dbr:Functional_analysis dbr:König's_theorem_(set_theory) dbr:Dover_Publications dbr:Vector_space dbr:Open_mapping_theorem_(functional_analysis) dbr:Fundamenta_Mathematicae dbr:Connected_space dbr:Free_abelian_group dbr:Closure_(topology) dbr:Extensionality dbr:Harvard_University_Press dbr:American_Mathematical_Society dbr:Axiom dbr:Complex_number dbr:Real_number dbr:Set_theory dbr:Elsevier dbr:Metric_space dbr:Natural_number dbr:Propositional_calculus dbr:Type_theory dbr:Choice_function dbr:Well-ordering_theorem dbr:Zermelo–Fraenkel_set_theory dbr:Zorn's_lemma dbr:Axiom_of_dependent_choice dbr:Henri_Lebesgue dbr:Binary_operation dbr:Cardinal_number dbr:Finite_set dbr:Ring_(mathematics) dbr:Jean_van_Heijenoort dbr:Robert_M._Solovay dbr:Logical_equivalence dbr:Connected_graph dbr:Baire_space_(set_theory) dbr:Herman_Rubin dbr:Divisible_group dbr:Inner_model dbr:Algebraic_topology dbr:Jan_Mycielski dbr:Springer_Science+Business_Media dbr:Normed_vector_space dbr:Independence_(mathematical_logic) dbr:Boolean_prime_ideal_theorem dbr:Axiom_of_constructibility dbr:Compactness_theorem dbr:Constructible_universe dbr:Continuum_hypothesis dbr:Gödel's_completeness_theorem dbr:Hilbert_space dbr:Kurt_Gödel dbr:Scientific_American dbr:Von_Neumann–Bernays–Gödel_set_theory dbr:Large_cardinal dbr:Banach–Alaoglu_theorem dbr:Banach–Tarski_paradox dbr:Cartesian_product dbr:Injective_function dbr:Interval_(mathematics) dbr:Mathematical_induction dbr:Perfect_set_property dbr:Riemann_hypothesis dbr:Topological_space dbr:Union_(set_theory) dbr:Vector_field dbr:Surjective_function dbr:Real_analysis dbr:Stone's_representation_theorem_for_Boolean_algebras dbr:Stone–Čech_compactification dbr:Baire_category_theorem dbr:Errett_Bishop dbr:Property_of_Baire dbr:Tychonoff's_theorem dbr:Tychonoff_space dbr:Paradox dbr:Woodin_cardinal dbr:Measure_theory dbr:Forcing_(mathematics) dbr:Indexed_family dbr:Non-measurable_set dbr:A._K._Dewdney dbr:Group_(mathematics) dbr:Hahn_embedding_theorem dbr:Hahn–Banach_theorem dbr:Infinite_set dbr:Lebesgue_measure dbr:Linear_map dbr:Power_set dbr:Axiom_of_limitation_of_size dbr:Spanning_tree dbr:Projective_object dbr:Nielsen–Schreier_theorem dbr:Law_of_excluded_middle dbr:John_Lane_Bell dbr:Maximal_ideal dbr:Encyclopedia_of_Mathematics dbr:Uniformization_(set_theory) dbr:Cancellation_property dbr:Krull's_theorem dbr:First-order_logic dbr:Hartogs_number dbr:Basis_(linear_algebra) dbr:Field_(mathematics) dbr:Inverse_function dbr:Negation dbr:Group_structure_and_the_axiom_of_choice dbr:Morse–Kelley_set_theory dbc:Axiom_of_choice dbr:Adjoint_functors dbr:Algebraic_closure dbr:Antichain dbr:Field_extension dbr:Finite_character dbr:Skeleton_(category_theory) dbr:Cambridge_University_Press dbr:General_topology dbr:Category_(mathematics) dbr:Jean_E._Rubin dbr:Axiom_of_countable_choice dbr:Well-order dbr:Signature_(logic) dbr:Inaccessible_cardinal dbr:Discontinuous_linear_map dbr:Compact_space dbr:Descriptive_set_theory dbr:Partition_of_a_set dbr:Closed_graph_theorem dbr:Product_topology dbr:Equivalence_of_categories dbr:Category_of_sets dbr:Canonical_form dbr:Extreme_point dbr:Borel_set dbr:Axiom_of_global_choice dbr:Amorphous_set dbr:Moschovakis_coding_lemma dbr:Transcendence_basis dbr:Generalized_continuum_hypothesis dbr:Diaconescu's_theorem dbr:First-order_predicate_calculus dbr:Pairwise_disjoint dbr:Axiomatic_set_theory dbr:Consistent dbr:Maurice_René_Fréchet dbr:Paul_Cohen_(mathematician) dbr:Small_category dbr:Ultrafilter_(set_theory) dbr:Filter_(set_theory) dbr:Point-set_topology dbr:Martin-Löf_type_theory dbr:Constructivism_(mathematics) dbr:Comptes_rendus_de_l'Académie_des_sciences dbr:Bijective_map dbr:Lebesgue_measurable dbr:Lexicographical_order dbr:Tukey's_lemma dbr:Nonempty dbr:Axiom_scheme dbr:Dedekind_infinite dbr:Compactness dbr:P_=_NP dbr:Real_numbers dbr:Well-ordering dbr:Jerry_Bona dbr:Nonconstructive_proof dbr:Complete_boolean_algebra dbr:Complete_space dbr:Countable_sets dbr:Initial_ordinal dbr:Model_(model_theory) dbr:Measurable dbr:Ultrafilter_lemma dbr:Zermelo dbr:Sequential_continuity dbr:File:Axiom_of_choice.svg dbr:File:Axiome_du_choix.png
dbp:date	2021-02-26 (xsd:date) 2021-05-15 (xsd:date)
dbp:url	https://web.archive.org/web/20210226235056/https:/emunix.emich.edu/~phoward/ https://web.archive.org/web/20210515021241/https:/www.math.purdue.edu/~hrubin/JeanRubin/Papers/conseq.html
dbp:wikiPageUsesTemplate	dbt:4,_5,_6},_{10,_12},_{1,_400,_617,_8000 dbt:Cite_book dbt:Math_theorem dbt:Mathematical_logic dbt:Set_theory dbt:About dbt:Authority_control dbt:Blockquote dbt:Citation dbt:Cite_conference dbt:Cite_journal dbt:Em dbt:Harvtxt dbt:ISBN dbt:Redirect-distinguish dbt:Reflist dbt:SEP dbt:See_also dbt:Sfn dbt:Short_description dbt:Use_dmy_dates dbt:Webarchive dbt:Wikiquote dbt:Schechter_Handbook_of_Analysis_and_Its_Foundations
dct:subject	dbc:Axiom_of_choice
rdf:type	owl:Thing owl:Thing
rdfs:label	Axiom of choice (en) Axioma de l'elecció (ca) بديهية الاختيار (ar) Axiom výběru (cs) Αξίωμα της επιλογής (el) Aksiomo de elekto (eo) Auswahlaxiom (de) Axioma de elección (es) Axiome du choix (fr) Aksioma pemilihan (in) 選択公理 (ja) Assioma della scelta (it) 선택 공리 (ko) Aksjomat wyboru (pl) Axioma da escolha (pt) Keuzeaxioma (nl) Urvalsaxiomet (sv) Аксиома выбора (ru) Аксіома вибору (uk) 选择公理 (zh)
rdfs:seeAlso	dbr:List_of_statements_independent_of_ZFC
owl:differentFrom	dbr:ZFC_(disambiguation)
owl:sameAs	yago-res:Axiom of choice freebase:Axiom of choice http://d-nb.info/gnd/4143673-8 wikidata:Axiom of choice dbpedia-de:Axiom of choice dbpedia-es:Axiom of choice dbpedia-it:Axiom of choice dbpedia-nl:Axiom of choice dbpedia-pl:Axiom of choice dbpedia-fr:Axiom of choice dbpedia-da:Axiom of choice dbpedia-he:Axiom of choice dbpedia-hu:Axiom of choice dbpedia-ja:Axiom of choice dbpedia-pt:Axiom of choice dbpedia-ro:Axiom of choice dbpedia-ru:Axiom of choice dbpedia-zh:Axiom of choice dbpedia-sv:Axiom of choice dbpedia-vi:Axiom of choice dbpedia-el:Axiom of choice dbpedia-id:Axiom of choice dbpedia-ko:Axiom of choice dbpedia-ca:Axiom of choice dbpedia-et:Axiom of choice dbpedia-ar:Axiom of choice dbpedia-ast:Axiom of choice dbpedia-az:Axiom of choice dbpedia-ba:Axiom of choice dbpedia-cs:Axiom of choice dbpedia-cy:Axiom of choice dbpedia-eo:Axiom of choice dbpedia-fa:Axiom of choice dbpedia-fi:Axiom of choice dbpedia-gl:Axiom of choice dbpedia-hr:Axiom of choice dbpedia-hy:Axiom of choice dbpedia-ka:Axiom of choice dbpedia-lmo:Axiom of choice dbpedia-nn:Axiom of choice dbpedia-pms:Axiom of choice dbpedia-simple:Axiom of choice dbpedia-sr:Axiom of choice dbpedia-th:Axiom of choice dbpedia-uk:Axiom of choice dbpedia-global:Axiom of choice
prov:wasDerivedFrom	wikipedia-en:Axiom_of_choice?oldid=1312256945&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Axiom_of_choice.svg wiki-commons:Special:FilePath/Axiome_du_choix.png
foaf:isPrimaryTopicOf	wikipedia-en:Axiom_of_choice
is dbo:wikiPageDisambiguates of	dbr:Axiom_of_choice_(disambiguation) dbr:AC dbr:Choice_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Equivalents_of_the_axiom_of_choice dbr:Axiom_of_Choice dbr:AxiomOfChoice dbr:Axiom_Of_Choice dbr:Choice_Axiom dbr:Choice_axiom dbr:Independence_of_the_axiom_of_choice dbr:ZF¬C dbr:The_Axiom_of_Choice
is dbo:wikiPageWikiLink of	dbr:First_uncountable_ordinal dbr:Product_of_rings dbr:Dimension_theorem_for_vector_spaces dbr:Generalised_metric dbr:History_of_topos_theory dbr:Kunen's_inconsistency_theorem dbr:Cantor–Bernstein_theorem dbr:Eduard_Helly dbr:Foundations_of_mathematics dbr:Hausdorff_maximal_principle dbr:Hausdorff_paradox dbr:Kronecker_product dbr:Schröder–Bernstein_theorem dbr:Krein–Milman_theorem dbr:Adrian_Mathias dbr:Vitali_set dbr:Constructive_set_theory dbr:Moser_spindle dbr:Axiom_of_Choice_(band) dbr:List_of_statements_independent_of_ZFC dbr:Timeline_of_Polish_science_and_technology dbr:Artinian_module dbr:Equinumerosity dbr:List_of_first-order_theories dbr:Tarski's_theorem_about_choice dbr:Banach–Mazur_game dbr:Unbounded_operator dbr:List_of_theorems dbr:Subquotient dbr:List_of_axioms dbr:Tarski–Grothendieck_set_theory dbr:Axiom_of_choice_(disambiguation) dbr:Axiom_of_determinacy dbr:Axiom_of_real_determinacy dbr:Halpern–Läuchli_theorem dbr:5 dbr:Hall's_marriage_theorem dbr:Model_theory dbr:Morphism dbr:Set-theoretic_topology dbr:Andreas_Blass dbr:Algebraic_extension dbr:Paradoxical_set dbr:Ideal_(order_theory) dbr:Ernst_Zermelo dbr:Function_(mathematics) dbr:Mathematical_analysis dbr:Mathematical_logic dbr:Determinacy dbr:Functional_analysis dbr:König's_theorem_(set_theory) dbr:Mostowski_model dbr:Philosophy_of_mathematics dbr:Divergent_series dbr:Kaplansky's_conjectures dbr:Vector_space dbr:Automorphism dbr:Free_abelian_group dbr:Maximal_and_minimal_elements dbr:Pathological_(mathematics) dbr:Beth_number dbr:Skolem_normal_form dbr:Transcendence_degree dbr:Dedekind-infinite_set dbr:Reinhardt_cardinal dbr:Successor_cardinal dbr:Game_theory dbr:Complex_number dbr:John_von_Neumann dbr:Real_number dbr:Set_theory dbr:Arrow's_impossibility_theorem dbr:Isabelle_(proof_assistant) dbr:John_Myhill dbr:Limit_of_a_function dbr:Naive_set_theory dbr:Paradoxes_of_set_theory dbr:Principia_Mathematica dbr:Russell's_paradox dbr:Type_theory dbr:Choice_function dbr:Georg_Cantor dbr:Infinitary_logic dbr:Max_August_Zorn dbr:Scott's_trick dbr:Scott–Potter_set_theory dbr:Well-ordering_theorem dbr:Zermelo_set_theory dbr:Zermelo–Fraenkel_set_theory dbr:Zorn's_lemma dbr:Axiom_of_dependent_choice dbr:Reflection_principle dbr:Cardinal_number dbr:Finite_set dbr:Wallace–Bolyai–Gerwien_theorem dbr:Functor dbr:Proof_theory dbr:Robert_M._Solovay dbr:AC dbr:Σ-algebra dbr:Flat_module dbr:Outer_measure dbr:Axiom_of_regularity dbr:Moderne_Algebra dbr:Supercompact_space dbr:Implementation_of_mathematics_in_set_theory dbr:Banach_limit dbr:Filters_in_topology dbr:Direct_product dbr:Limit_cardinal dbr:Invariant_basis_number dbr:Graph_coloring dbr:Wacław_Sierpiński dbr:Cantor_set dbr:Aleph_number dbr:Existence_theorem dbr:Independence_(mathematical_logic) dbr:Boolean_prime_ideal_theorem dbr:Conservative_extension dbr:Berkeley_cardinal dbr:Univalent_foundations dbr:Axiom_of_constructibility dbr:Compactness_theorem dbr:Constructible_universe dbr:Continuum_hypothesis dbr:Dialectica_interpretation dbr:Erhard_Schmidt dbr:Gödel's_completeness_theorem dbr:Gödel's_incompleteness_theorems dbr:Hermann_Weyl dbr:Kurt_Gödel dbr:Set_(mathematics) dbr:Von_Neumann–Bernays–Gödel_set_theory dbr:Azriel_Lévy dbr:Moti_Gitik dbr:Functional_equation dbr:Banach_measure dbr:Banach–Alaoglu_theorem dbr:Banach–Tarski_paradox dbr:Cartesian_product dbr:Hadwiger–Nelson_problem dbr:Injective_function dbr:Perfect_set_property dbr:Surjective_function dbr:Axiomatic_system dbr:Boolean_algebra_(structure) dbr:Net_(mathematics) dbr:Stone's_representation_theorem_for_Boolean_algebras dbr:Stone–Čech_compactification dbr:Unit_distance_graph dbr:Adolf_Lindenbaum dbr:Baire_category_theorem dbr:Paracompact_space dbr:Property_of_Baire dbr:Sokal_affair dbr:Tychonoff's_theorem dbr:Dimension_(vector_space) dbr:Fred_Galvin dbr:Jónsson_cardinal dbr:In-joke dbr:Matthew_Foreman dbr:Philip_Jourdain dbr:Solovay_model dbr:Cardinality dbr:Infinitary_combinatorics dbr:Forcing_(mathematics) dbr:Non-measurable_set dbr:Section_(category_theory) dbr:The_Banach–Tarski_Paradox_(book) dbr:Cardinal_and_Ordinal_Numbers dbr:Circle_group dbr:Cantor's_isomorphism_theorem dbr:Transversal_(combinatorics) dbr:Tychonoff_cube dbr:Subbase dbr:Parity_function dbr:Haar_measure dbr:Jewish_culture dbr:Löwenheim–Skolem_theorem dbr:Thoralf_Skolem dbr:Topological_game dbr:Ultraproduct dbr:Boolean_algebra dbr:Curry's_paradox dbr:Curry–Howard_correspondence dbr:Hahn–Banach_theorem dbr:Leon_Henkin dbr:Infinite_set dbr:Lebesgue_measure dbr:Linear_span dbr:New_Foundations dbr:Tarski's_circle-squaring_problem dbr:Wanda_Szmielew dbr:Willard_Van_Orman_Quine dbr:Axiom_of_limitation_of_size dbr:Spanning_tree dbr:Busy_beaver dbr:Urelement dbr:Projective_object dbr:Nielsen–Schreier_theorem dbr:Szpilrajn_extension_theorem dbr:Axiom_schema_of_replacement dbr:Setoid dbr:Totally_bounded_space dbr:Bijection,_injection_and_surjection dbr:History_of_mathematical_notation dbr:Cauchy's_functional_equation dbr:Cofinality dbr:Module_(mathematics) dbr:Amenable_group dbr:Dual_space dbr:Discrete_space dbr:Kőnig's_lemma dbr:Constructivism_(philosophy_of_mathematics) dbr:Uniformization_(set_theory) dbr:Krull's_theorem dbr:L(R) dbr:List_of_set_theory_topics dbr:Bourbaki–Witt_theorem dbr:Dehn_invariant dbr:First-order_logic dbr:Hartogs_number dbr:Law_of_trichotomy dbr:P-adic_number dbr:Paul_Lorenzen dbr:Teichmüller–Tukey_lemma dbr:Theorem dbr:Paul_Cohen dbr:Basis_(linear_algebra) dbr:Fallibilism dbr:Field_(mathematics) dbr:Inverse_function dbr:Measure_(mathematics) dbr:Ordinal_number dbr:Pigeonhole_principle dbr:Hyperreal_number dbr:The_Princeton_Companion_to_Mathematics dbr:Group_structure_and_the_axiom_of_choice dbr:Transfinite_number dbr:1904_in_science dbr:1963_in_science dbr:Noetherian_module dbr:Morse–Kelley_set_theory dbr:Partially_ordered_ring dbr:Pointless_topology dbr:Game_semantics dbr:S2S_(mathematics) dbr:Reverse_mathematics dbr:Sequentially_compact_space dbr:Uncountable_set dbr:Orthonormality dbr:Axiom_of_empty_set dbr:Skeleton_(category_theory) dbr:Completeness_(order_theory) dbr:Controversy_over_Cantor's_theory dbr:Conjecture dbr:List_of_unsolved_problems_in_mathematics dbr:Transfinite_induction dbr:Domain_theory dbr:Jean_E._Rubin dbr:Axiom_of_countable_choice dbr:Edgeworth_box dbr:Distributive_lattice dbr:Examples_of_vector_spaces dbr:Thomas_Jech dbr:Measurable_function dbr:Well-order dbr:Group_isomorphism dbr:Glossary_of_category_theory dbr:Pocket_set_theory dbr:Regular_cardinal dbr:Inaccessible_cardinal dbr:Discontinuous_linear_map dbr:Chain-complete_partial_order dbr:History_of_logic dbr:Topos dbr:Compact_space dbr:Internal_set_theory dbr:Partition_of_a_set dbr:De_Bruijn–Erdős_theorem_(graph_theory) dbr:Product_topology dbr:Construction_of_the_real_numbers dbr:Induction_puzzles dbr:Timeline_of_mathematics dbr:Axiom_schema_of_specification dbr:Equivalence_of_categories dbr:Category_of_sets dbr:Constructive_proof dbr:Von_Neumann_paradox dbr:Symmetry_in_mathematics dbr:Ultrafilter dbr:Borel_determinacy_theorem dbr:Fibred_category dbr:List_of_mathematical_logic_topics dbr:Infinity-Borel_set dbr:Axiom_of_global_choice dbr:Undecidable_problem dbr:Equivalents_of_the_axiom_of_choice dbr:Amorphous_set dbr:Index_of_philosophy_articles_(A–C)
is rdfs:seeAlso of	dbr:Zorn's_lemma
is foaf:primaryTopic of	wikipedia-en:Axiom_of_choice