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)
“The American Constitution, one of the few modern political documents drawn up by men who were forced by the sternest circumstances to think out what they really had to face instead of chopping logic in a university classroom.”
—George Bernard Shaw (1856–1950)
“Equality, in a social sense, may be divided into that of condition and that of rights. Equality of condition is incompatible with civilization, and is found only to exist in those communities that are but slightly removed from the savage state. In practice, it can only mean a common misery.”
—James Fenimore Cooper (1789–1851)