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 only thing that one really knows about human nature is that it changes. Change is the one quality we can predicate of it. The systems that fail are those that rely on the permanency of human nature, and not on its growth and development. The error of Louis XIV was that he thought human nature would always be the same. The result of his error was the French Revolution. It was an admirable result.”
—Oscar Wilde (1854–1900)
“Though living is a dreadful thing
And a dreadful thing is it
Life the niggard will not thank,
She will not teach who will not sing,
And what serves, on the final bank,
Our logic and our wit?”
—Philip Larkin (1922–1986)
“We cannot expect in the immediate future that all women who seek it will achieve full equality of opportunity. But if women are to start moving towards that goal, we must believe in ourselves or no one else will believe in us; we must match our aspirations with the competence, courage and determination to succeed.”
—Rosalyn Yalow (b. 1921)