bn:00142964n
Noun Named Entity
PT
No term available
EN
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 ϕ {\displaystyle \phi }. Wikipedia
Relations
Sources