Single Idea 10872

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

Full Idea

Axiom of Extension: Two sets are equal if and only if they have the same elements.

Gist of Idea

Extensionality: Two sets are equal if and only if they have the same elements

Source

Brian Clegg (Infinity: Quest to Think the Unthinkable [2003], Ch.15)

Book Reference

Clegg,Brian: 'Infinity' [Robinson 2003], p.205