The Axioms of Zermelo Set Theory
- AXIOM I. Axiom of extensionality (Axiom der Bestimmtheit) "If every element of a set M is also an element of N and vice versa ... then M N. Briefly, every set is determined by its elements".
- AXIOM II. Axiom of elementary sets (Axiom der Elementarmengen) "There exists a set, the null set, ∅, that contains no element at all. If a is any object of the domain, there exists a set {a} containing a and only a as element. If a and b are any two objects of the domain, there always exists a set {a, b} containing as elements a and b but no object x distinct from them both." See Axiom of pairs.
- AXIOM III. Axiom of separation (Axiom der Aussonderung) "Whenever the propositional function –(x) is definite for all elements of a set M, M possesses a subset M' containing as elements precisely those elements x of M for which –(x) is true".
- AXIOM IV. Axiom of the power set (Axiom der Potenzmenge) "To every set T there corresponds a set T' , the power set of T, that contains as elements precisely all subsets of T".
- AXIOM V. Axiom of the union (Axiom der Vereinigung) "To every set T there corresponds a set ∪T, the union of T, that contains as elements precisely all elements of the elements of T".
- AXIOM VI. Axiom of choice (Axiom der Auswahl): "If T is a set whose elements all are sets that are different from ∅ and mutually disjoint, its union ∪T includes at least one subset S1 having one and only one element in common with each element of T".
- AXIOM VII. Axiom of infinity (Axiom des Unendlichen) "There exists in the domain at least one set Z that contains the null set as an element and is so constituted that to each of its elements a there corresponds a further element of the form {a}, in other words, that with each of its elements a it also contains the corresponding set {a} as element".
Read more about this topic: Zermelo Set Theory
Famous quotes containing the words axioms, set and/or theory:
“The axioms of physics translate the laws of ethics. Thus, “the whole is greater than its part;” “reaction is equal to action;” “the smallest weight may be made to lift the greatest, the difference of weight being compensated by time;” and many the like propositions, which have an ethical as well as physical sense. These propositions have a much more extensive and universal sense when applied to human life, than when confined to technical use.”
—Ralph Waldo Emerson (1803–1882)
“Whoever wants to set a good example must add a grain of foolishness to his virtue: then others can imitate and yet at the same time surpass the one they imitate—which human beings love to do.”
—Friedrich Nietzsche (1844–1900)
“The weakness of the man who, when his theory works out into a flagrant contradiction of the facts, concludes “So much the worse for the facts: let them be altered,” instead of “So much the worse for my theory.””
—George Bernard Shaw (1856–1950)