bn:00142964n
Noun Named Entity
Categories: Systems of set theory
EN
positive set theory  positive formula
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
Definitions
Relations
Sources
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
class of alternative set theories Wikidata
Wikipedia
Wikidata
Wikipedia Redirections