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)
“The logic of the world is prior to all truth and falsehood.”
—Ludwig Wittgenstein (1889–1951)
“The strongest reason why we ask for woman a voice in the government under which she lives; in the religion she is asked to believe; equality in social life, where she is the chief factor; a place in the trades and professions, where she may earn her bread, is because of her birthright to self-sovereignty; because, as an individual, she must rely on herself.”
—Elizabeth Cady Stanton (1815–1902)