Positive set theory
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 (the smallest class of formulas containing atomic membership and equality formulas and closed under conjunction, disjunction, existential and universal quantification).
Further reading
- Wikipedia, page 1023857, revision 1296736565, Positive set theory. adopted
About this page
| Tag | Z2G7PFD7V3 |
|---|---|
| URI | m2://Z2G7PFD7V3 |
| Aliases | positive-formula |
| Kind | concept |
| Writing | W1 stated |
| Same as | |
| Changed | 4 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W2
- edge defines in: at least one definition (0 of 1)
- edge instance_of in: at least two examples (0 of 2)
- edge not_instance_of in: at least one non-example (0 of 1)
- edge specializes both: the more general notions and the special cases (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.