---
tag: Z2G7PFD7V3
kind: concept
name: Positive set theory
aliases: [positive-formula]
sources:
  - wikipedia: en:1023857@r1296736565
    locator: Positive set theory
    note: adopted
    mention: wikipedia://en/1023857
    sections: [Summary]
same_as:
  wikidata: Q7233294
  wikipedia: Positive set theory
inventory: [5DYD94KXVE]
---

## Summary

In mathematical logic, **positive set theory** is the name for a class of alternative set theories in which the axiom of comprehension holds for at least the **positive formulas** $\phi$ (the smallest class of formulas containing atomic membership and equality formulas and closed under conjunction, disjunction, existential and [[universal quantification|0GHS47PDAQ]]).