Relation To The Axiom Schema of Specification
The axiom schema of specification, the other axiom schema in ZFC, is implied by the axiom schema of replacement and the axiom of empty set. Recall that the axiom schema of specification includes
for each formula θ in the language of set theory in which B is not free.
The proof is as follows. Begin with a formula θ(C) that does not mention B, and a set A. If no element E of A satisfies θ then the set B desired by the relevant instance of the axiom schema of separation is the empty set. Otherwise, choose a fixed E in A such that θ(E) holds. Define a class function F such that F(D) = D if θ(D) holds and F(D) = E if θ(D) is false. Then the set B = F "A = A∩{x|θ(x)} exists, by the axiom of replacement, and is precisely the set B required for the axiom of specification.
This result shows that it is possible to axiomatize ZFC with a single infinite axiom schema. Because at least one such infinite schema is required (ZFC is not finitely axiomatizable), this shows that the axiom schema of replacement can stand as the only infinite axiom schema in ZFC if desired. Because the axiom schema of specification is not independent, it is sometimes omitted from contemporary statements of the Zermelo-Fraenkel axioms.
Specification is still important, however, for use in fragments of ZFC, because of historical considerations, and for comparison with alternative axiomatizations of set theory. A formulation of set theory that does not include the axiom of replacement will likely include some form of the axiom of specification, to ensure that its models contain a robust collection of sets. In the study of models of set theory, it is sometimes useful to consider models of ZFC without replacement.
The proof above uses the law of excluded middle in assuming that if A is nonempty then it must contain an element (in intuitionistic logic, a set is "empty" if it does not contain an element, and "nonempty" is the formal negation of this, which is weaker than "does contain an element"). The axiom of specification is included in intuitionistic set theory.
Read more about this topic: Axiom Schema Of Replacement
Famous quotes containing the words relation to the, relation to, relation and/or axiom:
“We must get back into relation, vivid and nourishing relation to the cosmos and the universe. The way is through daily ritual, and is an affair of the individual and the household, a ritual of dawn and noon and sunset, the ritual of the kindling fire and pouring water, the ritual of the first breath, and the last.”
—D.H. (David Herbert)
“In relation to God, we are like a thief who has burgled the house of a kindly householder and been allowed to keep some of the gold. From the point of view of the lawful owner this gold is a gift; From the point of view of the burglar it is a theft. He must go and give it back. It is the same with our existence. We have stolen a little of God’s being to make it ours. God has made us a gift of it. But we have stolen it. We must return it.”
—Simone Weil (1909–1943)
“Light is meaningful only in relation to darkness, and truth presupposes error. It is these mingled opposites which people our life, which make it pungent, intoxicating. We only exist in terms of this conflict, in the zone where black and white clash.”
—Louis Aragon (1897–1982)
“It’s an old axiom of mine: marry your enemies and behead your friends.”
—Robert N. Lee. Rowland V. Lee. King Edward IV (Ian Hunter)