Axiom of Extensionality - in Predicate Logic Without Equality

In Predicate Logic Without Equality

The axiom given above assumes that equality is a primitive symbol in predicate logic. Some treatments of axiomatic set theory prefer to do without this, and instead treat the above statement not as an axiom but as a definition of equality. Then it is necessary to include the usual axioms of equality from predicate logic as axioms about this defined symbol. Most of the axioms of equality still follow from the definition; the remaining one is

and it becomes this axiom that is referred to as the axiom of extensionality in this context.

Read more about this topic:  Axiom Of Extensionality

Famous quotes containing the words predicate, logic and/or equality:

    The predicate of truth-value of a proposition, therefore, is a mere fictive quality; its place is in an ideal world of science only, whereas actual science cannot make use of it. Actual science instead employs throughout the predicate of weight.
    Hans Reichenbach (1891–1953)

    What avail all your scholarly accomplishments and learning, compared with wisdom and manhood? To omit his other behavior, see what a work this comparatively unread and unlettered man wrote within six weeks. Where is our professor of belles-lettres, or of logic and rhetoric, who can write so well?
    Henry David Thoreau (1817–1862)

    To grant woman an equality with man in the affairs of life is contrary to every tradition, every precedent, every inheritance, every instinct and every teaching. The acceptance of this idea is possible only to those of especially progressive tendencies and a strong sense of justice, and it is yet too soon to expect these from the majority.
    Susan B. Anthony (1820–1906)