Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q191849> ?p ?o }
- Q191849 subject Q18698585.
- Q191849 subject Q7802847.
- Q191849 subject Q8840631.
- Q191849 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.".
- Q191849 wikiPageExternalLink index.php?id=11&PPN=PPN235181684_0065&DMDID=DMDLOG_0018&L=1.
- Q191849 wikiPageExternalLink tresc.php?wyd=1&tom=16.
- Q191849 wikiPageExternalLink v=onepagery.
- Q191849 wikiPageExternalLink ZF.html.
- Q191849 wikiPageExternalLink axsep.html.
- Q191849 wikiPageExternalLink staxioms.
- Q191849 wikiPageWikiLink Q1.
- Q191849 wikiPageWikiLink Q1003136.
- Q191849 wikiPageWikiLink Q1010269.
- Q191849 wikiPageWikiLink Q10565797.
- Q191849 wikiPageWikiLink Q1077811.
- Q191849 wikiPageWikiLink Q10859910.
- Q191849 wikiPageWikiLink Q1137814.
- Q191849 wikiPageWikiLink Q1151112.
- Q191849 wikiPageWikiLink Q122301.
- Q191849 wikiPageWikiLink Q1228944.
- Q191849 wikiPageWikiLink Q12482.
- Q191849 wikiPageWikiLink Q130901.
- Q191849 wikiPageWikiLink Q1319773.
- Q191849 wikiPageWikiLink Q1331373.
- Q191849 wikiPageWikiLink Q1361825.
- Q191849 wikiPageWikiLink Q1378301.
- Q191849 wikiPageWikiLink Q1465090.
- Q191849 wikiPageWikiLink Q1548262.
- Q191849 wikiPageWikiLink Q1587900.
- Q191849 wikiPageWikiLink Q1609529.
- Q191849 wikiPageWikiLink Q163875.
- Q191849 wikiPageWikiLink Q1666284.
- Q191849 wikiPageWikiLink Q1734160.
- Q191849 wikiPageWikiLink Q17455.
- Q191849 wikiPageWikiLink Q176916.
- Q191849 wikiPageWikiLink Q17736.
- Q191849 wikiPageWikiLink Q177646.
- Q191849 wikiPageWikiLink Q179692.
- Q191849 wikiPageWikiLink Q1806121.
- Q191849 wikiPageWikiLink Q18349448.
- Q191849 wikiPageWikiLink Q18698585.
- Q191849 wikiPageWikiLink Q1896657.
- Q191849 wikiPageWikiLink Q191780.
- Q191849 wikiPageWikiLink Q191853.
- Q191849 wikiPageWikiLink Q192439.
- Q191849 wikiPageWikiLink Q2005236.
- Q191849 wikiPageWikiLink Q200787.
- Q191849 wikiPageWikiLink Q2045366.
- Q191849 wikiPageWikiLink Q205140.
- Q191849 wikiPageWikiLink Q205170.
- Q191849 wikiPageWikiLink Q208416.
- Q191849 wikiPageWikiLink Q21199.
- Q191849 wikiPageWikiLink Q215382.
- Q191849 wikiPageWikiLink Q217413.
- Q191849 wikiPageWikiLink Q217594.
- Q191849 wikiPageWikiLink Q226183.
- Q191849 wikiPageWikiLink Q2296408.
- Q191849 wikiPageWikiLink Q2328174.
- Q191849 wikiPageWikiLink Q246672.
- Q191849 wikiPageWikiLink Q2513496.
- Q191849 wikiPageWikiLink Q2705017.
- Q191849 wikiPageWikiLink Q272404.
- Q191849 wikiPageWikiLink Q2777107.
- Q191849 wikiPageWikiLink Q278770.
- Q191849 wikiPageWikiLink Q2905020.
- Q191849 wikiPageWikiLink Q300444.
- Q191849 wikiPageWikiLink Q319400.
- Q191849 wikiPageWikiLink Q323107.
- Q191849 wikiPageWikiLink Q33401.
- Q191849 wikiPageWikiLink Q3352804.
- Q191849 wikiPageWikiLink Q3375355.
- Q191849 wikiPageWikiLink Q338021.
- Q191849 wikiPageWikiLink Q3490369.
- Q191849 wikiPageWikiLink Q3502887.
- Q191849 wikiPageWikiLink Q3511558.
- Q191849 wikiPageWikiLink Q35120.
- Q191849 wikiPageWikiLink Q36161.
- Q191849 wikiPageWikiLink Q369377.
- Q191849 wikiPageWikiLink Q379078.
- Q191849 wikiPageWikiLink Q379825.
- Q191849 wikiPageWikiLink Q3984085.
- Q191849 wikiPageWikiLink Q4055684.
- Q191849 wikiPageWikiLink Q441223.
- Q191849 wikiPageWikiLink Q449711.
- Q191849 wikiPageWikiLink Q467606.
- Q191849 wikiPageWikiLink Q470981.
- Q191849 wikiPageWikiLink Q4830557.
- Q191849 wikiPageWikiLink Q4830558.
- Q191849 wikiPageWikiLink Q5164501.
- Q191849 wikiPageWikiLink Q5421941.
- Q191849 wikiPageWikiLink Q548080.
- Q191849 wikiPageWikiLink Q5532389.
- Q191849 wikiPageWikiLink Q57248.
- Q191849 wikiPageWikiLink Q5737878.
- Q191849 wikiPageWikiLink Q5935117.
- Q191849 wikiPageWikiLink Q6035663.
- Q191849 wikiPageWikiLink Q61043.
- Q191849 wikiPageWikiLink Q622185.
- Q191849 wikiPageWikiLink Q649337.
- Q191849 wikiPageWikiLink Q655328.