Single Idea 13452

[catalogued under 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / m. Axiom of Separation]

Full Idea

There are set theories that countenance exceptions to the Principle of Separation in exchange for a universal set.

Gist of Idea

Some set theories give up Separation in exchange for a universal set

Source

Rayo,A/Uzquiasno,G (Introduction to 'Absolute Generality' [2006], 1.2.2)

Book Reference

'Absolute Generality', ed/tr. Rayo,A/Uzquiano,G [OUP 2006], p.7