more from Gideon Rosen

Single Idea 18851

[catalogued under 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / c. Axiom of Pairing II]

Full Idea

In conjunction with Extensionality, Pairing entails that given a single non-set, infinitely many sets exist.

Gist of Idea

Pairing (with Extensionality) guarantees an infinity of sets, just from a single element

Source

Gideon Rosen (The Limits of Contingency [2006], 04)

Book Reference

'Identity and Modality', ed/tr. MacBride,Fraser [OUP 2006], p.18