Axiom Schema of Specification - Relation To The Axiom Schema of Replacement

Relation To The Axiom Schema of Replacement

The axiom schema of separation can almost be derived from the axiom schema of replacement.

First, recall this axiom schema:

for any functional predicate F in one variable that doesn't use the symbols A, B, C or D. Given a suitable predicate P for the axiom of specification, define the mapping F by F(D) = D if P(D) is true and F(D) = E if P(D) is false, where E is any member of A such that P(E) is true. Then the set B guaranteed by the axiom of replacement is precisely the set B required for the axiom of specification. The only problem is if no such E exists. 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.

For this reason, the axiom schema of separation is often left out of modern lists of the Zermelo–Fraenkel axioms. However, it's still important for historical considerations, and for comparison with alternative axiomatizations of set theory, as can be seen for example in the following sections.

Read more about this topic:  Axiom Schema Of Specification

Famous quotes containing the words relation to the, relation to, relation, axiom and/or replacement:

    You see, I am alive, I am alive
    I stand in good relation to the earth
    I stand in good relation to the gods
    I stand in good relation to all that is beautiful
    I stand in good relation to the daughter of Tsen-tainte
    You see, I am alive, I am alive
    N. Scott Momaday (b. 1934)

    The foregoing generations beheld God and nature face to face; we, through their eyes. Why should not we also enjoy an original relation to the universe? Why should not we have a poetry and philosophy of insight and not of tradition, and a religion by revelation to us, and not the history of theirs?
    Ralph Waldo Emerson (1803–1882)

    The instincts of the ant are very unimportant, considered as the ant’s; but the moment a ray of relation is seen to extend from it to man, and the little drudge is seen to be a monitor, a little body with a mighty heart, then all its habits, even that said to be recently observed, that it never sleeps, become sublime.
    Ralph Waldo Emerson (1803–1882)

    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)

    Not even the visionary or mystical experience ever lasts very long. It is for art to capture that experience, to offer it to, in the case of literature, its readers; to be, for a secular, materialist culture, some sort of replacement for what the love of god offers in the world of faith.
    Salman Rushdie (b. 1947)