structure for 'Formal Logic'    |     alphabetical list of themes    |     expand these ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / l. Axiom of Specification

[axiom to specify new sets]

2 ideas
Specification: Determinate totals of objects always make a set [Zalabardo]
Specification: a condition applied to a set will always produce a new set [Clegg]