Axiom of Extensionality

In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of extensionality, or axiom of extension, is one of the axioms of Zermelo–Fraenkel set theory.

Read more about Axiom Of Extensionality:  Formal Statement, Interpretation, In Predicate Logic Without Equality, In Set Theory With Ur-elements

Famous quotes containing the words axiom of and/or axiom:

    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)

    It is an axiom in political science that unless a people are educated and enlightened it is idle to expect the continuance of civil liberty or the capacity for self-government.
    Texas Declaration of Independence (March 2, 1836)