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

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / n. Axiom of Comprehension

[axiom saying a set exists which satisfies a predicate]

3 ideas
Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen]
Comprehension Axiom: if a collection is clearly specified, it is a set [Wolf,RS]
A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo]