Connection With Standard Set Theory
The accepted standard for set theory is Zermelo–Fraenkel set theory. The links show where the axioms of Zermelo's theory correspond. There is no exact match for "elementary sets". (It was later shown that the singleton set could be derived from what is now called "Axiom of pairs". If a exists, a and a exist, thus {a,a} exists. By extensionality {a,a} = {a}.) The empty set axiom is already assumed by axiom of infinity, and is now included as part of it.
The axioms do not include the Axiom of regularity and Axiom of replacement. These were added as the result of work by Thoralf Skolem in 1922, based on earlier work by Abraham Fraenkel in the same year.
In the modern ZFC system, the "propositional function" referred to in the axiom of separation is interpreted as "any property definable by a first order formula with parameters", so the separation axiom is replaced by an axiom scheme. The notion of "first order formula" was not known in 1904 when Zermelo published his axiom system, and he later rejected this interpretation as being too restrictive. Zermelo set theory is usually taken to be a first-order theory with the separation axiom replaced by an axiom scheme with an axiom for each first-order formula. It can also be considered as a theory in second-order logic, where now the separation axiom is just a single axiom. The second-order interpretation of Zermelo set theory is probably closer to Zermelo's own conception of it, and is stronger than the first-order interpretation.
In the usual cumulative hierarchy Vα of ZFC set theory (for ordinals α), any one of the sets Vα for α a limit ordinal larger than the first infinite ordinal ω (such as Vω·2) forms a model of Zermelo set theory. So the consistency of Zermelo set theory is a theorem of ZFC set theory. Zermelo's axioms do not imply the existence of ℵω or larger infinite cardinals, as the model Vω·2 does not contain such cardinals. (Cardinals have to be defined differently in Zermelo set theory, as the usual definition of cardinals and ordinals does not work very well: with the usual definition it is not even possible to prove the existence of the ordinal ω2.)
The axiom of infinity is usually now modified to assert the existence of the first infinite von Neumann ordinal ; the original Zermelo axioms cannot prove the existence of this set, nor can the modified Zermelo axioms prove Zermelo's axiom of infinity. Zermelo's axioms (original or modified) cannot prove the existence of as a set nor of any rank of the cumulative hierarchy of sets with infinite index.
Zermelo set theory is similar in strength to topos theory with a natural number object, or to the system in Principia mathematica. It is strong enough to carry out almost all ordinary mathematics not directly connected with set theory or logic.
Read more about this topic: Zermelo Set Theory
Famous quotes containing the words connection with, connection, standard, set and/or theory:
“What is the vanity of the vainest man compared with the vanity which the most modest person possesses when, in connection with nature and the world, he experiences himself as “man”!”
—Friedrich Nietzsche (1844–1900)
“We live in a world of things, and our only connection with them is that we know how to manipulate or to consume them.”
—Erich Fromm (1900–1980)
“Any honest examination of the national life proves how far we are from the standard of human freedom with which we began. The recovery of this standard demands of everyone who loves this country a hard look at himself, for the greatest achievments must begin somewhere, and they always begin with the person. If we are not capable of this examination, we may yet become one of the most distinguished and monumental failures in the history of nations.”
—James Baldwin (1924–1987)
“No annual training or muster of soldiery, no celebration with its scarfs and banners, could import into the town a hundredth part of the annual splendor of our October. We have only to set the trees, or let them stand, and Nature will find the colored drapery,—flags of all her nations, some of whose private signals hardly the botanist can read,—while we walk under the triumphal arches of the elms.”
—Henry David Thoreau (1817–1862)
“We commonly say that the rich man can speak the truth, can afford honesty, can afford independence of opinion and action;—and that is the theory of nobility. But it is the rich man in a true sense, that is to say, not the man of large income and large expenditure, but solely the man whose outlay is less than his income and is steadily kept so.”
—Ralph Waldo Emerson (1803–1882)