
	Where results make sense

Topic: Zermelo Fraenkel axioms

Related Topics

axiom of choice

Separation axioms

Peano axioms

probability axioms

axiom of extensionality

Zermelo Fraenkel axioms

Axiom of regularity

Kuratowski closure axioms

Axiom schema of specification

axiom of infinity

axiom of empty set

Axiom of pairs

In the News (Fri 4 Dec 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	Zermelo-Fraenkel set theory - Open Encyclopedia (Site not responding. Last check: 2007-11-06)
		The Zermelo-Fraenkel axioms of set theory (ZF) are the standard axioms of axiomatic set theory on which, together with the axiom of choice, all of ordinary mathematics is based in modern formulations.
		The axioms are the result of work by Thoralf Skolem in 1922, based on earlier work by Adolf Fraenkel in the same year, which was based on the axiom system put forth by Ernst Zermelo in 1908 (Zermelo set theory).
		Axiom of union: For any set x, there is a set y such that the elements of y are precisely the elements of the elements of x.
	open-encyclopedia.com /ZFC (492 words)

	Zermelo-Fraenkel set theory - Wikipedia, the free encyclopedia
		The axioms are the result of work by Thoralf Skolem in 1922, based on earlier work by Abraham Fraenkel in the same year, which was based on the axiom system put forth by Ernst Zermelo in 1908 (Zermelo set theory).
		Axiom of pairing: If x, y are sets, then there exists a set containing x and y as its only elements, which we denote by {x,y} or {x} ∪ {y}.
		Axiom of infinity: There exists a set x such that {} is in x and whenever y is in x, so is y ∪ {y}.
	en.wikipedia.org /wiki/Zermelo-Fraenkel_axioms (538 words)

	Axiomatic set theory - Wikipedia, the free encyclopedia
		Axiom of infinity: There exists a set x such that {} is in x and whenever y is in x, so is the union y U {y}.
		Axiom of replacement: Given any set and any mapping, formally defined as a proposition P(x,y) where P(x,y) and P(x,z) implies y = z, there is a set containing precisely the images of the original set's elements.
		Axiom of choice: (Zermelo's version) Given a set x of mutually disjoint nonempty sets, there is a set y (a choice set for x) containing exactly one element from each member of x.
	en.wikipedia.org /wiki/Axiomatic_set_theory (2518 words)

	Axiom schema of specification - Wikipedia, the free encyclopedia
		In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom schema of specification, or axiom schema of separation, or axiom schema of restricted comprehension, is a schema of axioms in Zermelo-Fraenkel set theory.
		The axiom schema of specification is generally considered uncontroversial as far as it goes, and it or an equivalent appears in just about any alternative axiomatisation of set theory.
		Most of the other Zermelo-Fraenkel axioms (but not the axiom of extensionality or the axiom of regularity) then became necessary to serve as an additional replacement for the axiom schema of comprehension; each of these axioms states that a certain set exists, and defines that set by giving a predicate for its members to satisfy.
	en.wikipedia.org /wiki/Axiom_schema_of_specification (960 words)

	Ernst Zermelo: Definition and Links by Encyclopedian.com - All about Ernst Zermelo (Site not responding. Last check: 2007-11-06)
		Zermelo remained at the University of Berlin where he was appointed assistant to Planck and under his guidance began to study hydrodynamics.
		Zermelo began to work on the problems of set theory and in 1902 published his first work concerning the addition of transfinite cardinals[?].
		At the end of the World War II Zermelo requested that he be reinstated to his honorary position in Freiburg and indeed he was reinstated to the post in 1946.
	www.encyclopedian.com /ze/Zermelo.html (470 words)

	PlanetMath: axiom
		Axioms and postulates are the basic assumptions underlying a given body of deductive knowledge.
		In the modern understanding, a set of axioms is any collection of formally stated assertions from which other formally stated assertions follow by the application of certain well-defined rules.
		A set of axioms should be consistent; it should be impossible to derive a contradiction from the axiom.
	planetmath.org /encyclopedia/Axiom.html (1184 words)

	Axiom of extensionality - Wikipedia, the free encyclopedia
		In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of extensionality, or axiom of extension, is one of the axioms of Zermelo-Fraenkel set theory.
		Thus, what the axiom is really saying is that two sets are equal iff they have precisely the same members.
		In this case, the usual axiom of extensionality would imply that every ur-element is equal to the empty set.
	en.wikipedia.org /wiki/Axiom_of_extensionality (537 words)

	Knowledge King - Zermelo-Fraenkel set theory (Site not responding. Last check: 2007-11-06)
		The Zermelo-Fraenkel axioms of set theory, denoted ZF, are the standard axioms of axiomatic set theory on which, together with the axiom of choice, all of ordinary mathematics is based.
		The axiom system has an infinite number of axioms because an axiom schema is used.
		Axiom of choice: Any product of nonempty sets is nonempty.
	www.knowledgeking.net /encyclopedia/z/ze/zermelo_fraenkel_set_theory.html (415 words)

	Axiom schema of specification (Site not responding. Last check: 2007-11-06)
		The axiom schema of specification can almost be derived from the axiom schema of replacement.
		But in this case, the set B required for the axiom of specification is the empty set, so the axiom schema follows in general using also the axiom of empty set.
		In the von Neumann-Bernays-Gödel axioms; of set theory, a distinction is made between sets and classeses.
	www.uncover.us /en/wikipedia/a/ax/axiom_schema_of_specification.html (949 words)

	PlanetMath: Zermelo-Fraenkel axioms
		Ernst Zermelo and Abraham Fraenkel proposed the following axioms as a foundation for what is now called Zermelo-Fraenkel set theory, or ZF.
		If this set of axioms are accepted along with the Axiom of Choice, it is often denoted ZFC.
		This is version 13 of Zermelo-Fraenkel axioms, born on 2001-10-18, modified 2004-02-18.
	planetmath.org /encyclopedia/ZermeloFraenkelAxioms.html (215 words)

	Zermelo (Site not responding. Last check: 2007-11-06)
		Zermelo began to work on the problems of set theory and in 1902 published his first work concerning the addition of transfinitecardinals.
		His proof of the well-ordering theorem, whichwas based on the axiom of choice, was not accepted by allmathematicians, partly because the lack of axiomatization ofset theory at this time.
		At the end of World War II Zermelo requested that he be reinstatedto his honorary position in Freiburg and indeed he was reinstated to the post in 1946.
	www.therfcc.org /zermelo-68585.html (447 words)

	PlanetMath: axiom of choice
		However, there is another axiom, the axiom of choice, which is more controversial; it is therefore usually segregated from the others.
		Some mathematicians have suggested an axiom that would result in all subsets of the real numbers being measurable; this would of course imply the negation of the axiom of choice.
		This is version 12 of axiom of choice, born on 2001-10-18, modified 2005-07-20.
	planetmath.org /encyclopedia/310.html (639 words)

	Axiom of power set (Site not responding. Last check: 2007-11-06)
		In mathematics, the axiom of power set is one of the Zermelo-Fraenkel axioms of axiomatic set theory.
		To understand this axiom, note that the clause in parentheses in the symbolic statement above simply states that C is a subset of A.
		The axiom of power set is generally considered uncontroversial, and it or an equivalent appears in just about any alternative axiomatisation of set theory.
	www.uncover.us /en/wikipedia/a/ax/axiom_of_power_set.html (207 words)

	Axiomatic set theory (Site not responding. Last check: 2007-11-06)
		Cantor's development of set theory was still "naïve" in the sense that he didn't have a precise axiomatization in mind.
		However, the last of these leads directly to Russell's paradox, by constructing the set S := {A : A is not in A} of all sets that don't belong to themselves.
		Moreover, the axiom of separation, along with the axiom of replacement, is actually an infinite schema of axioms, one for each formula.) Each axiom has further information in its own article.
	www.sciencedaily.com /encyclopedia/axiomatic_set_theory_1 (1633 words)

	Encyclopedia: Zermelo (Site not responding. Last check: 2007-11-06)
		See the article on Zermelo set theory for an outline of this paper, together with the original axioms, with the original numbering.
		It should be noted that, in 1922, Adolf Fraenkel and Thoralf Skolem independently improved Zermelo's axiom system.
		The resulting system, now called Zermelo-Fraenkel axioms (ZF), with ten axioms, is now the most commonly used system for axiomatic set theory.
	www.nationmaster.com /encyclopedia/Zermelo (516 words)

	Zermelo-Fraenkel set theory - the free encyclopedia (Site not responding. Last check: 2007-11-06)
		Abraham Fraenkel in the same year, which was based on the axiom system put forth by
		Axiom of regularity: Every non-empty set x contains some element y such that x and y are
		metamathematicians believe that these axioms are consistent (in the sense that no contradiction can be derived from them), this has not been proved.
	www.world-knowledge-encyclopedia.com /?t=ZFC (444 words)

	Talk:Ordered pair - Wikipedia, the free encyclopedia
		axiom of foundation) to handle the possibility that one has sets x and z, with x={z} and z={x}, but not x = z.
		If one assumes the axiom of foundation (as usual in ZF), then x = [[Template:x]] is forbidden (sets then can't have themselves as members); and then your definition works.
		I replaced the text In the usual Zermelo-Fraenkel formulation of set theory including the axiom of regularity, ordered pairs (a, b) can also be defined as the set {a, {a, b}}.
	www.wikipedia.org /wiki/Talk:Ordered_pair (917 words)

	Learn more about Cardinal number in the online encyclopedia. (Site not responding. Last check: 2007-11-06)
		The axiom of choice is equivalent to the statement that given two sets X and Y, either
		Note that without the axiom of choice there are sets which can not be well-ordered, and the definition of cardinal number given above does not work.
		The continuum hypothesis is independent from the usual axioms of set theory, the Zermelo-Fraenkel axioms together with the axiom of choice (ZFC).
	www.onlineencyclopedia.org /c/ca/cardinal_number.html (1208 words)

	Paul Cohen (Site not responding. Last check: 2007-11-06)
		He is noted for inventing a technique called forcing which he used to show that neither the continuum hypothesis nor the axiom of choice can be proved from the standard Zermelo-Fraenkel axioms of set theory.
		The main reason one accepts the Axiom of Infinity is probably that we feel it absurd to think that the process of adding only one set at a time can exhaust the entire universe.
		It is unreasonable to expect that any description of a larger cardinal which attempts to build up that cardinal from ideas deriving from the Replacement Axiom can ever reach.
	1-free-software.com /en/wikipedia/p/pa/paul_cohen.html (334 words)

	AXIOM SCHEMA OF SPECIFICATION FACTS AND INFORMATION (Site not responding. Last check: 2007-11-06)
		Note that there is one axiom for every such predicate ''P''; thus, this is an axiom_schema.
		But in this case, the set ''B'' required for the axiom of separation is the empty_set, so the axiom of separation follows from the axiom of replacement together with the axiom_of_empty_set.
		Most of the other Zermelo-Fraenkel axioms (but not the axiom_of_extensionality or the axiom_of_regularity) then became necessary to serve as an additional replacement for the axiom schema of comprehension; each of these axioms states that a certain set exists, and defines that set by giving a predicate for its members to satisfy.
	www.southcountryequity.com /Axiom_schema_of_specification (989 words)

	Zermelo-Fraenkel set theory - Encyclopedia Glossary Meaning Explanation Zermelo-Fraenkel set theory (Site not responding. Last check: 2007-11-06)
		* Axiom of pairing: If x, y are sets, then there exists a set containing x and y as its only elements, which we denote by {x,y} or {x} ∪ {y}.
		\forall A, \forall B, \exist C, \forall D: D \in C \iff (D = A \or D = B) * Axiom of union: For any set x, there is a set y such that the elements of y are precisely the elements of the elements of x.
		* Axiom of separation (or subset axiom): Given any set and any proposition P(x), there is a subset of the original set containing precisely those elements x for which P(x) holds.
	www.encyclopedia-glossary.com /en/Zermelo-Fraenkel-set-theory.html (696 words)

	Zermelo-Fraenkel set theory -- Facts, Info, and Encyclopedia article (Site not responding. Last check: 2007-11-06)
		The axiom system is written in (Click link for more info and facts about first-order logic) first-order logic; it has an (Click link for more info and facts about infinite) infinite number of axioms because an (Click link for more info and facts about axiom schema) axiom schema is used.
		(Click link for more info and facts about Axiom of union) Axiom of union: For any set x, there is a set y such that the elements of y are precisely the elements of the elements of x.
		While most (Click link for more info and facts about metamathematicians) metamathematicians believe that these axioms are consistent (in the sense that no contradiction can be derived from them), this has not been proved.
	www.absoluteastronomy.com /encyclopedia/Z/Ze/Zermelo-Fraenkel_set_theory1.htm (537 words)

	Zermelo-Fraenkel Set Theory: A Supplement to Set Theory
		This axiom asserts that when sets x and y have the same members, they are the same set.
		Since it is provable from this axiom and the previous axiom that there is a unique such set, we may introduce the notation ‘Ø’ to denote it.
		Then the Axiom of Infinity asserts that there is a set x which contains Ø as a member and which is such that, anytime y is a member of x, then y∪{y} is a member of x.
	plato.stanford.edu /entries/set-theory/ZF.html (698 words)

	Zermelo-Fraenkel set theory (Site not responding. Last check: 2007-11-06)
		Axiom of pairing: If x, y are sets, then there exists a set containing x and y as its only elements, which we denote by or ∪.
		\forall A, \forall B, \exist C, \forall D: D \in C \iff (D = A \or D = B) Axiom of union: For any set x, there is a set y such that the elements of y are precisely the elements of the elements of x.
		\forall A, \exist B, \forall C: C \in B \iff (\exist D: C \in D \and D \in A) Axiom of infinity: There exists a set x such that is in x and whenever y is in x, so is y ∪.
	www.worldhistory.com /wiki/Z/Zermelo-Fraenkel-set-theory.htm (723 words)

	zfaxioms.htm (Site not responding. Last check: 2007-11-06)
		Axiom ZF1 - Sets with the same members are equal - (Extensionality).
		Axiom ZF2 - The "Empty Set" is a set.
		Axiom ZF9 - There are not Russell's Paradox like Sets (Regularity).
	www.umsl.edu /~siegel/SetTheoryandTopology/zfaxioms.htm (270 words)

	Set Theory. Zermelo-Fraenkel Axioms. Russell's Paradox. Infinity. By K.Podnieks
		The axioms C1, C1' and C2[F] (for all formulas F that do not contain x) and the axiom of choice define a formal set theory C which corresponds almost 100% to Cantor's intuitive set theory (of the "pre-paradox" period of 1873-94).
		The axiom of infinity completes the list of comprehension axioms, which are necessary for reconstruction of common mathematics, i.e.
		The set theory adopting the axiom of extensionality (C1), the axiom C1', the separation axiom schema (C21), the pairing axiom (C22), the union axiom (C23), the power-set axiom (C24), the replacement axiom schema (C25), the axiom of infinity (C26) and the axiom of regularity (C3), is called Zermelo-Fraenkel set theory, and is denoted by ZF.
	www.ltn.lv /~podnieks/gt2.html (8336 words)

	Custom written biography on Abraham Adolf Fraenkel \| Essays on Abraham Adolf Fraenkel
		The Zermelo-Fraenkel axioms of set theory, known collectively as ZF, are the standard axioms of axiomatic set theory on which, together with the axiom of choice, all of ordinary mathematics is based.
		When the axiom of choice is included, the resulting system is known as ZFC.Studied at Several UniversitiesAbraham Adolf Fraenkel was born on February 17, 1891, in Munich, Germany.
		The son of Sigmund and Charlotte (Neuberger) Fraenkel, he was strongly influenced by his orthodox Jewish heritage.
	www.swiftpapers.com /biographies/Abraham_Adolf_Fraenkel-26828.html (287 words)

	Axiomatic Set Theory. Zermelo-Fraenkel Axioms
		The axioms C1 and C2[F] (for all formulas F that do not contain x) and the axiom of choice define a formal set theory C which corresponds almost 100% to Cantor's intuitive set theory (of the "pre-paradox" period of 1873-94).
		He proposed to restrict the comprehension axiom schema by adopting only of those axioms, which are really necessary for reconstruction of common mathematics.
		The set theory adopting the axiom of extensionality (C1), the separation axiom schema (C21), the pairing axiom (C22), the union axiom (C23), the power-set axiom (C24), the replacement axiom schema (C25), the axiom of infinity (C26) and the axiom of regularity (C3), is called Zermelo-Fraenkel set theory, and is denoted by ZF.
	linas.org /mirrors/www.ltn.lv/2001.03.27/~podnieks/gt2.html (7448 words)

	An encoding of Zermolo-Fraenkel Set Theory in Coq (Site not responding. Last check: 2007-11-06)
		A non-computational type-theoretical axiom of choice is necessary to prove the replacement schemata and the set-theoretical AC.
		The main advantadge of Aczel's aproach, is a more constructive vision of the existential quantifier (which gives the set-theoretical axiom of choice for free).
		The axioms of ZFC are then proved and thus appear as theorems in the developement.
	coq.inria.fr /contribs/zermelo-fraenkel.html (395 words)

	Logic Seminar Abstracts Spring 2002 (Site not responding. Last check: 2007-11-06)
		The first, "Numbers", is a particular corollary of Axiom (V) that is sufficient for Frege's development of arithmetic, but insufficient to derive Russell's paradox.
		Together with the axioms of second order logic, "Numbers" and "New V" are relatively consistent with second order arithmetic and sufficient for the development of arithmetic.
		It turns out that the answer to the former question strongly bears on the second question and that it is closely related to a search for the strongest forms of the axiom of choice allowable in a constructive extensional set theory.
	www-logic.stanford.edu /Abstracts/Seminar/Spring02.html (1060 words)

Try your search on: Qwika (all wikis)