|
|
|
|
axiom of extensionality
|
(Axiom)
|
|
|
If and have the same elements, then .
The Axiom of Extensionality is one of the axioms of Zermelo-Fraenkel set theory. In symbols, it reads:
Note that the converse,
is an axiom of the predicate calculus. Hence we have,
Therefore the Axiom of Extensionality expresses the most fundamental notion of a set: a set is determined by its elements.
|
"axiom of extensionality" is owned by Sabean.
|
|
(view preamble)
| Other names: |
extensionality |
|
|
Cross-references: Calculus, predicate, converse, Zermelo-Fraenkel set theory, axioms
There are 6 references to this entry.
This is version 2 of axiom of extensionality, born on 2003-06-24, modified 2003-06-24.
Object id is 4391, canonical name is AxiomOfExtensionality.
Accessed 8537 times total.
Classification:
| AMS MSC: | 03E30 (Mathematical logic and foundations :: Set theory :: Axiomatics of classical set theory and its fragments) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|