Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Zermelo–Fraenkel_set_theory> ?p ?o }
- Zermelo–Fraenkel_set_theory abstract "In mathematics, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is one of several axiomatic systems that were proposed in the early twentieth century to formulate a theory of sets free of paradoxes such as Russell's paradox. Zermelo–Fraenkel set theory with the historically controversial axiom of choice included is commonly abbreviated ZFC, where C stands for choice. Many authors use ZF to refer to the axioms of Zermelo–Fraenkel set theory with the axiom of choice excluded. Today ZFC is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.ZFC is intended to formalize a single primitive notion, that of a hereditary well-founded set, so that all entities in the universe of discourse are such sets. Thus the axioms of ZFC refer only to pure sets and prevent its models from containing urelements (elements of sets that are not themselves sets). Furthermore, proper classes (collections of mathematical objects defined by a property shared by their members which are too big to be sets) can only be treated indirectly. Specifically, ZFC does not allow for the existence of a universal set (a set containing all sets) nor for unrestricted comprehension, thereby avoiding Russell's paradox. Von Neumann–Bernays–Gödel set theory (NBG) is a commonly used conservative extension of ZFC that does allow explicit treatment of proper classes.Formally, ZFC is a one-sorted theory in first-order logic. The signature has equality and a single primitive binary relation, set membership, which is usually denoted ∈. The formula a ∈ b means that the set a is a member of the set b (which is also read, \"a is an element of b\" or \"a is in b\").There are many equivalent formulations of the ZFC axioms. Most of the ZFC axioms state the existence of particular sets defined from other sets. For example, the axiom of pairing says that given any two sets a and b there is a new set {a, b} containing exactly a and b. Other axioms describe properties of set membership. A goal of the ZFC axioms is that each axiom should be true if interpreted as a statement about the collection of all sets in the von Neumann universe (also known as the cumulative hierarchy).The metamathematics of ZFC has been extensively studied. Landmark results in this area established the independence of the continuum hypothesis from ZFC, and of the axiom of choice from the remaining ZFC axioms. The consistency of a theory such as ZFC cannot be proved within the theory itself.".
- Zermelo–Fraenkel_set_theory wikiPageExternalLink index.php?id=11&PPN=PPN235181684_0065&DMDID=DMDLOG_0018&L=1.
- Zermelo–Fraenkel_set_theory wikiPageExternalLink tresc.php?wyd=1&tom=16.
- Zermelo–Fraenkel_set_theory wikiPageExternalLink v=onepagery.
- Zermelo–Fraenkel_set_theory wikiPageExternalLink ZF.html.
- Zermelo–Fraenkel_set_theory wikiPageExternalLink axsep.html.
- Zermelo–Fraenkel_set_theory wikiPageExternalLink staxioms.
- Zermelo–Fraenkel_set_theory wikiPageID "152214".
- Zermelo–Fraenkel_set_theory wikiPageLength "33976".
- Zermelo–Fraenkel_set_theory wikiPageOutDegree "201".
- Zermelo–Fraenkel_set_theory wikiPageRevisionID "708237915".
- Zermelo–Fraenkel_set_theory wikiPageWikiLink A_K_Peters,_Ltd..
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Abraham_Fraenkel.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Algebra_of_sets.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Atomic_formula.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Axiom.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Axiom_of_choice.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Axiom_of_constructibility.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Axiom_of_determinacy.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Axiom_of_empty_set.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Axiom_of_global_choice.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Axiom_of_infinity.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Axiom_of_pairing.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Axiom_of_power_set.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Axiom_of_projective_determinacy.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Axiom_of_regularity.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Axiom_schema.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Axiom_schema_of_replacement.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Axiom_schema_of_specification.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Axiomatic_system.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Binary_relation.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Burali-Forti_paradox.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Cambridge_University_Press.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Cantors_paradox.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Cardinal_number.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Category:Foundations_of_mathematics.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Category:Systems_of_set_theory.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Category:Z_notation.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Category_theory.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Choice_function.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Class_(set_theory).
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Conservative_extension.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Consistency.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Constructible_universe.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Constructive_set_theory.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Constructivism_(mathematics).
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Continuum_hypothesis.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Cumulative_hierarchy.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Diamond_principle.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Disjoint_sets.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Dmitry_Mirimanoff.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Domain_of_a_function.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Domain_of_discourse.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Element_(mathematics).
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Elsevier.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Empty_set.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Entity.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Equality_(mathematics).
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Ernst_Zermelo.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Extension_by_definitions.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Finite_set.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink First-order_logic.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Forcing_(mathematics).
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Foundations_of_mathematics.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Free_logic.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Free_variables_and_bound_variables.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Fundamenta_Mathematicae.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Gaisi_Takeuti.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink General_set_theory.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Grothendieck_universe.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Harvard_University_Press.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Hereditary_set.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Image_(mathematics).
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Inaccessible_cardinal.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Independence_(mathematical_logic).
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Infinite_set.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Inner_model.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Internal_set_theory.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Jean_van_Heijenoort.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink John_von_Neumann.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Kurepa_tree.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Large_cardinal.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink List_of_statements_undecidable_in_ZFC.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Martins_axiom.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Mathematical_object.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Mathematische_Annalen.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Metamath.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Metamathematics.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Mizar_system.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Model_theory.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Modular_arithmetic.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Moore_space_(topology).
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Morse–Kelley_set_theory.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Naive_set_theory.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Natural_number.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink New_Foundations.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Non-well-founded_set_theory.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Ordinal_number.
- Zermelo–Fraenkel_set_theory wikiPageWikiLink Patrick_Suppes.