About: Zermelo–Fraenkel set theory

Property	Value
dbo:description	axiomatisation de la théorie des ensembles (fr) axiomatische Mengenlehre (de) Son un sistema axiomático concebido para formular la teoría de conjuntos. (es) sistem axiomatic referitor la teoria mulțimilor (ro) standard form of axiomatic set theory (en) standardna oblika aksiomske teorije množic (sl) teoria assiomatica standard per gli insiemi (it) standardowy zestaw aksjomatów teorii mnogości, często oznaczany ZF (pl) sistema axiomático essencial para a construção da teoria dos conjuntos, desenvolvido por Zermelo e Fraenkel (pt) نمایشی اسلوبمند از نظریه مجموعه ها (fa) 集合論における公理系の一つ (ja)
dbo:wikiPageExternalLink	http://gdz.sub.uni-goettingen.de/index.php%3Fid=11&PPN=PPN235181684_0065&DMDID=DMDLOG_0018&L=1 https://archive.org/details/settheoryintrodu0000kune https://archive.org/details/handbookofmathem0090unse http://us.metamath.org/mpegif/axsep.html http://us.metamath.org/mpegif/mmset.html%23staxioms https://www.quantamagazine.org/to-settle-infinity-question-a-new-law-of-mathematics-20131126 https://archive.org/details/axiomaticsettheo0000bern https://archive.org/details/introductiontoax00take https://archive.org/details/settheoryitslogi0000quin_j8m3 https://archive.org/details/theoryofsetstran00abia https://books.google.com/books%3Fid=NZVb54INnywC&pg=PA62 https://books.google.com/books%3Fid=tTEaMFvzhDAC&q=abbreviated+as+zfc+where+c+stands+for+the+axiom+of+choice&pg=PA4 https://projecteuclid.org/euclid.lnl/1235417007 https://projecteuclid.org/euclid.lnl/1235417011 http://plato.stanford.edu/entries/set-theory/%23AxiZFC http://plato.stanford.edu/entries/set-theory/ZF.html
dbo:wikiPageWikiLink	dbr:Axiom_schema dbr:Axiomatic_system dbr:Constructible_universe dbr:Conservative_extension dbr:Finite_set dbr:Abraham_Fraenkel dbr:Georg_Cantor dbr:Category_theory dbr:Class_(set_theory) dbr:Disjoint_sets dbr:Proper_class dbr:Harvard_University_Press dbr:Axiom_of_empty_set dbr:Range_of_a_function dbr:Mathematical_object dbr:Universe_(mathematics) dbr:New_Foundations dbr:Suslin's_problem dbr:Consistency dbr:Function_(mathematics) dbr:Set_theory dbr:Cambridge_University_Press dbr:First-order_logic dbr:Russell's_paradox dbr:Set_(mathematics) dbr:Cardinal_number dbr:A_K_Peters dbr:Cantor's_paradox dbr:Atomic_formula dbr:Axiom_schema_of_replacement dbr:Robinson_arithmetic dbr:Thomas_Jech dbr:Independence_(mathematical_logic) dbr:Richard_Dedekind dbr:Well-formed_formula dbr:Metamathematics dbr:Naive_set_theory dbr:Free_variable dbr:Axiom_of_constructibility dbr:Choice_function dbr:Uniqueness_quantification dbr:Tarski–Grothendieck_set_theory dbc:Z_notation dbr:Domain_of_a_function dbr:Ordinal_number dbr:Von_Neumann_ordinal dbr:Zermelo_set_theory dbr:Inaccessible_cardinal dbr:Axiom_of_power_set dbr:Inner_model dbr:Martin's_axiom dbr:Solomon_Feferman dbr:Mathematische_Annalen dbr:List_of_statements_independent_of_ZFC dbr:Springer_Science+Business_Media dbr:Subset dbr:Forcing_(mathematics) dbr:Axiom dbr:John_von_Neumann dbr:Von_Neumann–Bernays–Gödel_set_theory dbr:Von_Neumann_universe dbr:Binary_relation dbr:Equality_(mathematics) dbr:Continuum_hypothesis dbr:Infinite_set dbr:Power_set dbr:Whitehead_problem dbr:Large_cardinal_axiom dbr:Linear_order dbr:Axiom_of_the_empty_set dbr:Axiom_of_the_power_set dbr:Axiomatic_set_theories dbr:Well-founded_set dbr:Model_theory dbr:Universal_set dbr:Grothendieck_universe dbr:Reverse_mathematics dbr:Theorem dbr:Saunders_Mac_Lane dbr:Elsevier dbr:Axiom_of_regularity dbr:Empty_set dbr:Burali-Forti_paradox dbr:Mizar_system dbr:Internal_set_theory dbr:Urelement dbr:Axiom_of_global_choice dbr:Free_logic dbr:Moore_space_(topology) dbc:Foundations_of_mathematics dbc:Systems_of_set_theory dbr:Union_(set_theory) dbr:Axiom_of_infinity dbr:Axiom_of_pairing dbr:Fundamenta_Mathematicae dbr:Quanta_Magazine dbr:Image_(mathematics) dbr:Second-order_arithmetic dbr:Axiom_of_choice dbr:Ernst_Zermelo dbr:Thoralf_Skolem dbr:Axiom_schema_of_specification dbr:Foundations_of_mathematics dbr:Stanford_Encyclopedia_of_Philosophy dbr:Paradoxes_of_set_theory dbr:Metamath dbr:Domain_of_discourse dbr:Morse–Kelley_set_theory dbr:Pergamon_Press dbr:Projective_determinacy dbr:Rank_(set_theory) dbr:Constructive_set_theory dbr:Kurepa_tree dbr:Axiom_of_determinacy dbr:General_set_theory dbr:Constructive_mathematics dbr:Hereditary_set dbr:Multiverse_(set_theory) dbr:Springer-Verlag dbr:Algebra_of_sets dbr:Axiomatic_set_theory dbr:North-Holland_Publishing_Company dbr:Peano_arithmetic dbr:Strongly_inaccessible_cardinal dbr:Universe_of_discourse dbr:First_order_logic dbr:Generalized_Continuum_Hypothesis dbr:Set_builder_notation dbr:Set_membership dbr:Signature_(mathematical_logic) dbr:The_cumulative_hierarchy dbr:Theory_of_sets dbr:Well-founded dbr:Wellordering dbr:Zermelo dbr:Congruence_modulo_n dbr:Consistency_proof dbr:Wikt:entity dbr:Definitional_extension dbr:Many-sorted_first-order_logic dbr:Natural_numbers dbr:Diamondsuit dbr:Gödel's_incompleteness_theorem dbr:Gödel's_second_incompleteness_theorem dbr:Large_cardinals dbr:List_of_statements_undecidable_in_ZFC dbr:Logical_independence dbr:Skolem dbr:Subtheory dbr:Pure_set dbr:Unrestricted_comprehension
dbp:id	AAJB9l-HAZs (en) Zermelo-FraenkelSetTheory (en) p/z130100 (en)
dbp:t	55.0 (dbd:second)
dbp:title	ZFC (en) Axioms of set Theory - Lec 02 - Frederic Schuller (en) Zermelo-Fraenkel Set Theory (en)
dbp:wikiPageUsesTemplate	dbt:Set_theory dbt:Cite_book dbt:YouTube dbt:Main dbt:Reflist dbt:Redirect dbt:Clear dbt:Cite_journal dbt:More_footnotes_needed dbt:Sfn dbt:Cite_SEP dbt:See_also dbt:Not_a_typo dbt:Use_dmy_dates dbt:Further dbt:Dubious_span dbt:Refend dbt:MathWorld dbt:Refbegin dbt:Cite_encyclopedia dbt:Cite_magazine dbt:Mvar dbt:TOC_left dbt:Mathematical_logic dbt:Harvtxt dbt:Snd dbt:Springer dbt:1,2},{2,3 dbt:Short_description
dct:subject	dbc:Z_notation dbc:Foundations_of_mathematics dbc:Systems_of_set_theory
gold:hypernym	dbr:Systems
rdf:type	owl:Thing
rdfs:label	Zermelo–Fraenkel set theory (en) نظرية المجموعات حسب تسيرميلو-فرانكل (ar) ZFC (ca) Zermelova–Fraenkelova teorie množin (cs) Axiomas de Zermelo-Fraenkel (es) Zermelo-Fraenkel-Mengenlehre (de) Théorie des ensembles de Zermelo-Fraenkel (fr) ツェルメロ＝フレンケル集合論 (ja) Teoria degli insiemi di Zermelo-Fraenkel (it) 체르멜로-프렝켈 집합론 (ko) Zermelo-Fraenkel-verzamelingenleer (nl) Aksjomaty Zermela-Fraenkla (pl) Axiomas de Zermelo-Fraenkel (pt) Система Цермело — Френкеля (ru) Zermelo–Fraenkels mängdteori (sv) Теорія множин Цермело — Френкеля (uk) 策梅洛-弗兰克尔集合论 (zh)
rdfs:seeAlso	dbr:Axiom_of_projective_determinacy dbr:Formal_language dbr:Axiom
owl:sameAs	dbpedia-de:Zermelo–Fraenkel set theory freebase:Zermelo–Fraenkel set theory wikidata:Zermelo–Fraenkel set theory dbpedia-it:Zermelo–Fraenkel set theory dbpedia-nl:Zermelo–Fraenkel set theory dbpedia-fr:Zermelo–Fraenkel set theory dbpedia-tr:Zermelo–Fraenkel set theory dbpedia-zh:Zermelo–Fraenkel set theory dbpedia-ja:Zermelo–Fraenkel set theory dbpedia-pt:Zermelo–Fraenkel set theory dbpedia-ro:Zermelo–Fraenkel set theory dbpedia-da:Zermelo–Fraenkel set theory dbpedia-es:Zermelo–Fraenkel set theory dbpedia-ru:Zermelo–Fraenkel set theory dbpedia-sv:Zermelo–Fraenkel set theory dbpedia-vi:Zermelo–Fraenkel set theory dbpedia-pl:Zermelo–Fraenkel set theory dbpedia-ko:Zermelo–Fraenkel set theory dbpedia-et:Zermelo–Fraenkel set theory dbpedia-ca:Zermelo–Fraenkel set theory dbpedia-als:Zermelo–Fraenkel set theory dbpedia-ar:Zermelo–Fraenkel set theory dbpedia-cs:Zermelo–Fraenkel set theory dbpedia-cy:Zermelo–Fraenkel set theory dbpedia-hr:Zermelo–Fraenkel set theory dbpedia-la:Zermelo–Fraenkel set theory dbpedia-lt:Zermelo–Fraenkel set theory dbpedia-simple:Zermelo–Fraenkel set theory dbpedia-sr:Zermelo–Fraenkel set theory dbpedia-uk:Zermelo–Fraenkel set theory dbpedia-global:Zermelo–Fraenkel set theory
prov:wasDerivedFrom	wikipedia-en:Zermelo–Fraenkel_set_theory?oldid=1294396579&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Zermelo–Fraenkel_set_theory
is dbo:knownFor of	dbr:Abraham_Fraenkel dbr:Ernst_Zermelo
is dbo:wikiPageRedirects of	dbr:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice dbr:Axioms_of_ZF dbr:ZFC dbr:Zermelo–Fraenkel_axioms dbr:Zermelo–Fraenkel_axioms dbr:Zermelo-Fraenkel dbr:Zermelo-Fraenkel-Skolem_set_theory dbr:Zermelo-Fraenkel_axiom dbr:Zermelo-Fraenkel_axiomatization dbr:Zermelo-Fraenkel_axioms dbr:Zermelo-Fraenkel_framework dbr:Zermelo-Fraenkel_set_theory dbr:Zermelo-Fraenkel_set_theory_with_the_axiom_of_choice dbr:Zermelo-Frankel dbr:Zermelo-Frankel_axiom dbr:Zermelo-Frankel_axioms dbr:Zermelo-Frankel_set_theory dbr:Zermelo-Fränkel dbr:Zermelo-Fränkel_set_theory dbr:Zermelo-frankel dbr:Zermelo_Fraenkel_set_theory dbr:Zermelo–Fraenkel dbr:Zermelo–Fraenkel_axiom dbr:Zermelo–Fraenkel_axiomatization dbr:Zermelo–Fraenkel_framework dbr:Zermelo–Frankel_set_theory dbr:Zermelo−Fraenkel_set_theory dbr:Zfc dbr:ZFC_Set_Theory dbr:ZFC_Set_theory dbr:ZFC_set dbr:ZFC_set_theory dbr:ZF_axioms dbr:ZF_set_theory
is dbo:wikiPageWikiLink of	dbr:Banach–Tarski_paradox dbr:Hausdorff_maximal_principle dbr:Axiomatic_system dbr:Constructible_universe dbr:Conservative_extension dbr:Woodin_cardinal dbr:Law_of_trichotomy dbr:Group_structure_and_the_axiom_of_choice dbr:Implementation_of_mathematics_in_set_theory dbr:Finite_set dbr:Hilbert's_problems dbr:Teichmüller–Tukey_lemma dbr:Erhard_Schmidt dbr:Georg_Cantor dbr:Principle_of_explosion dbr:Banach–Alaoglu_theorem dbr:Krein–Milman_theorem dbr:Isabelle_(proof_assistant) dbr:Class_(set_theory) dbr:Paul_Cohen dbr:Separation_axiom dbr:Enumeration dbr:Harvey_Friedman dbr:Ultrafilter dbr:Uncountable_set dbr:Axiom_of_empty_set dbr:Limit_cardinal dbr:Nielsen–Schreier_theorem dbr:Peano_axioms dbr:Gödel's_ontological_proof dbr:Quantifier_(logic) dbr:Universe_(mathematics) dbr:New_Foundations dbr:Axiom_of_extensionality dbr:Busy_beaver dbr:Z_notation dbr:Baire_category_theorem dbr:Non-measurable_set dbr:Transfinite_number dbr:Singular_cardinals_hypothesis dbr:Consistency dbr:History_of_logic dbr:Real_number dbr:Set_theory dbr:First-order_logic dbr:Mouse_(set_theory) dbr:Russell's_paradox dbr:Set_(mathematics) dbr:Cardinal_number dbr:Principia_Mathematica dbr:Examples_of_vector_spaces dbr:S_(set_theory) dbr:Vopěnka's_principle dbr:Wacław_Sierpiński dbr:Richard's_paradox dbr:Arnold_Oberschelp dbr:Saharon_Shelah dbr:Gödel's_incompleteness_theorems dbr:Philosophy_of_logic dbr:Measurable_function dbr:Boolean_prime_ideal_theorem dbr:Hahn–Banach_theorem dbr:Set-theoretic_topology dbr:Axiom_schema_of_replacement dbr:Measurable_cardinal dbr:Robert_M._Solovay dbr:Kőnig's_lemma dbr:Type_theory dbr:Singleton_(mathematics) dbr:Independence_(mathematical_logic) dbr:Kirszbraun_theorem dbr:Functional_predicate dbr:Timeline_of_category_theory_and_related_mathematics dbr:Reductionism dbr:Mereology dbr:Curry's_paradox dbr:Gödel's_completeness_theorem dbr:Metamathematics dbr:Naive_set_theory dbr:Finitism dbr:Preorder dbr:Pairing_function dbr:Axiom_of_constructibility dbr:Tree_(set_theory) dbr:Category_of_sets dbr:Definable_real_number dbr:History_of_mathematical_notation dbr:Tarski–Grothendieck_set_theory dbr:Set-builder_notation dbr:Epsilon-induction dbr:Infinity dbr:Mathematics dbr:Alain_Badiou dbr:Fallibilism dbr:Ordered_pair dbr:Ordinal_number dbr:Set-theoretic_definition_of_natural_numbers dbr:Zermelo_set_theory dbr:Zermelo–Fraenkel_set_theory_with_the_axiom_of_choice dbr:Inaccessible_cardinal dbr:König's_theorem_(set_theory) dbr:Determinacy dbr:Index_of_philosophy_articles_(R–Z) dbr:Alexander_Esenin-Volpin dbr:General_topology dbr:Paracompact_space dbr:Axiom_of_limitation_of_size dbr:Transfinite_induction dbr:Regular_cardinal dbr:Class_logic dbr:Equinumerosity dbr:List_of_first-order_theories dbr:Tarski's_theorem_about_choice dbr:List_of_axioms dbr:Boolean_algebra_(structure) dbr:Prewellordering dbr:Strong_partition_cardinal dbr:Vitali_set dbr:Tarski's_undefinability_theorem dbr:Axiom_of_countable_choice dbr:Forcing_(mathematics) dbr:Aczel's_anti-foundation_axiom dbr:Non-standard_model_of_arithmetic dbr:Lévy_hierarchy dbr:Axiom dbr:Hilbert's_program dbr:John_von_Neumann dbr:Von_Neumann–Bernays–Gödel_set_theory dbr:Kurt_Gödel dbr:Von_Neumann_universe dbr:Occam's_razor dbr:Sunflower_(mathematics) dbr:Intersection_(set_theory) dbr:Alfred_Tarski dbr:Continuum_hypothesis dbr:Infinite_set dbr:Nonstandard_calculus dbr:ZFD dbr:Axioms_of_ZF dbr:Ackermann_set_theory dbr:Well-founded_relation dbr:George_Boolos dbr:Mostowski_collapse_lemma dbr:ZF dbr:Law_of_excluded_middle dbr:Mathematical_logic dbr:Aleph_number dbr:Beth_number dbr:Universal_set dbr:Grothendieck_universe dbr:Certainty dbr:1963_in_science dbr:Kaplansky's_conjectures dbr:Large_countable_ordinal dbr:List_of_important_publications_in_mathematics dbr:List_of_incomplete_proofs dbr:Naimark's_problem dbr:Naive_Set_Theory_(book) dbr:Theorem dbr:Axiom_of_regularity dbr:Logicism dbr:Internal_set_theory dbr:Axiom_of_union dbr:Urelement dbr:Scott–Potter_set_theory dbr:Gimel_function dbr:Undecidable_problem dbr:Bounded_quantifier dbr:Amorphous_set dbr:List_of_mathematical_logic_topics dbr:Morita_conjectures dbr:Philosophy_of_mathematics dbr:Axiom_of_infinity dbr:Axiom_of_pairing dbr:Ramsey's_theorem dbr:Nonstandard_analysis dbr:Tychonoff's_theorem dbr:L(R) dbr:Ordinal_analysis dbr:Filter_(set_theory) dbr:Culture_of_Israel dbr:Criticism_of_nonstandard_analysis dbr:Dedekind-infinite_set dbr:Elementary_definition dbr:Ramified_forcing dbr:Scott's_trick dbr:Second-order_arithmetic dbr:Axiom_of_choice dbr:Axiom_of_dependent_choice dbr:Lp_space dbr:Zorn's_lemma dbr:Ernst_Zermelo dbr:List_of_Israelis dbr:Second-order_logic dbr:Foundations_of_mathematics dbr:Lebesgue_measure dbr:Ideal_(order_theory) dbr:List_of_set_theory_topics dbr:Hartogs_number dbr:Leonidas_Alaoglu dbr:Morse–Kelley_set_theory dbr:AD+ dbr:Hilbert's_second_problem dbr:Cardinality_of_the_continuum dbr:Ultrafinitism dbr:Hereditary_property dbr:Andrzej_Trybulec dbr:Constructive_set_theory dbr:Boolean-valued_model dbr:Borel_determinacy_theorem dbr:Kripke–Platek_set_theory_with_urelements dbr:Reflection_principle dbr:Solovay_model dbr:Worldly_cardinal dbr:Berkeley_cardinal dbr:Sacks_property dbr:Wetzel's_problem dbr:Adrian_Mathias dbr:Notation dbr:Axiom_schema_of_predicative_separation dbr:ZFC dbr:Hereditarily_countable_set dbr:Hereditary_set dbr:Reinhardt_cardinal dbr:Axiom_of_non-choice dbr:Multiverse_(set_theory) dbr:Remote_point dbr:Cantor's_isomorphism_theorem dbr:Takeuti–Feferman–Buchholz_ordinal dbr:Finite_promise_games_and_greedy_clique_sequences dbr:Outline_of_logic dbr:October_1965 dbr:The_Higher_Infinite dbr:Étale_cohomology dbr:Intuitionism dbr:Equivalent_definitions_of_mathematical_structures dbr:Absoluteness dbr:Alternative_set_theory dbr:Conglomerate_(mathematics) dbr:Zermelo–Fraenkel_axioms dbr:Fränkel dbr:John_Penn_Mayberry dbr:Filters_in_topology dbr:Carlos_Simpson dbr:Ian_Rumfitt dbr:S_and_L_spaces dbr:Quine–Putnam_indispensability_argument dbr:Nice_name dbr:Cardinal_characteristic_of_the_continuum dbr:TLA+ dbr:Equivalents_of_the_Axiom_of_Choice dbr:Ultrafilter_(set_theory) dbr:Finitist_set_theory dbr:Zermelo-Fraenkel dbr:Zermelo-Fraenkel-Skolem_set_theory dbr:Zermelo-Fraenkel_axiom dbr:Zermelo-Fraenkel_axiomatization dbr:Zermelo-Fraenkel_axioms dbr:Zermelo-Fraenkel_framework dbr:Zermelo-Fraenkel_set_theory dbr:Zermelo-Fraenkel_set_theory_with_the_axiom_of_choice dbr:Zermelo-Frankel dbr:Zermelo-Frankel_axiom dbr:Zermelo-Frankel_axioms dbr:Zermelo-Frankel_set_theory dbr:Zermelo-Fränkel dbr:Zermelo-Fränkel_set_theory dbr:Zermelo-frankel dbr:Zermelo_Fraenkel_set_theory dbr:Zermelo–Fraenkel dbr:Zermelo–Fraenkel_axiom dbr:Zermelo–Fraenkel_axiomatization dbr:Zermelo–Fraenkel_framework dbr:Zermelo–Frankel_set_theory dbr:Zermelo−Fraenkel_set_theory dbr:Zfc dbr:List_of_unsolved_problems_in_philosophy dbr:ZFC_Set_Theory dbr:ZFC_Set_theory dbr:ZFC_set dbr:ZFC_set_theory dbr:ZF_axioms dbr:ZF_set_theory dbr:List_of_Israeli_Ashkenazi_Jews
is dbp:knownFor of	dbr:Abraham_Fraenkel dbr:Ernst_Zermelo
is foaf:primaryTopic of	wikipedia-en:Zermelo–Fraenkel_set_theory