| dbo:abstract
|
- 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). Typically, the motivation for these theories is topological: the sets are the classes which are closed under a certain topology. The closure conditions for the various constructions allowed in building positive formulas are readily motivated (and one can further justify the use of universal quantifiers bounded in sets to get generalized positive comprehension): the justification of the existential quantifier seems to require that the topology be compact. (en)
- 在數理邏輯中，一種 作為替代的集合論 稱為一種正集合論（Positive set theory），如果分離公理
* " exists" 對正公式成立。注意正集合論是以上這一系列集合論的總體，而不僅是「一個」集合理論。 (zh)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4219 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- 在數理邏輯中，一種 作為替代的集合論 稱為一種正集合論（Positive set theory），如果分離公理
* " exists" 對正公式成立。注意正集合論是以上這一系列集合論的總體，而不僅是「一個」集合理論。 (zh)
- 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). (en)
|
| rdfs:label
|
- Positive set theory (en)
- 正集合论 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
