more from this thinker | more from this text
Full Idea
Axiom of Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y). That is, a set is determined by its members. If every z in one set is also in the other set, then the two sets are the same.
Gist of Idea
Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y)
Source
Kenneth Kunen (Set Theory [1980], §1.5)
Book Ref
Kunen,Kenneth: 'Set Theory: Introduction to Independence Proofs' [North-Holland 1980], p.10
| 14428 | Members define a unique class, whereas defining characteristics are numerous [Russell] |
| 16449 | In modal set theory, sets only exist in a possible world if that world contains all of its members [Stalnaker] |
| 13030 | Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen] |
| 13013 | The Axiom of Extensionality seems to be analytic [Maddy] |
| 13014 | Extensional sets are clearer, simpler, unique and expressive [Maddy] |
| 10097 | Axiom of Extensionality: for all sets x and y, if x and y have the same elements then x = y [George/Velleman] |
| 10872 | Extensionality: Two sets are equal if and only if they have the same elements [Clegg] |
| 18836 | A set may well not consist of its members; the empty set, for example, is a problem [Rumfitt] |
| 18837 | A set can be determinate, because of its concept, and still have vague membership [Rumfitt] |