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

13031

Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen]

13526

Comprehension Axiom: if a collection is clearly specified, it is a set [Wolf,RS]

10779

A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo]