more from this thinker     |     more from this text


Single Idea 14428

[filed under theme 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / b. Axiom of Extensionality I ]

Full Idea

There is only one class having a given set of members, whereas there are always many different characteristics by which a given class may be defined.

Gist of Idea

Members define a unique class, whereas defining characteristics are numerous

Source

Bertrand Russell (Introduction to Mathematical Philosophy [1919], II)

Book Ref

Russell,Bertrand: 'Introduction to Mathematical Philosophy' [George Allen and Unwin 1975], p.13


The 9 ideas with the same theme [axiom concerning what makes a set]:

Members define a unique class, whereas defining characteristics are numerous [Russell]
In modal set theory, sets only exist in a possible world if that world contains all of its members [Stalnaker]
Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen]
The Axiom of Extensionality seems to be analytic [Maddy]
Extensional sets are clearer, simpler, unique and expressive [Maddy]
Axiom of Extensionality: for all sets x and y, if x and y have the same elements then x = y [George/Velleman]
Extensionality: Two sets are equal if and only if they have the same elements [Clegg]
A set may well not consist of its members; the empty set, for example, is a problem [Rumfitt]
A set can be determinate, because of its concept, and still have vague membership [Rumfitt]