查看“︁正集合论”︁的源代码

在數理邏輯中，一種 ''作為替代的集合論'' 稱為一種'''正集合論'''（Positive set theory），如果[[分離公理]]
*"<math>\{x \mid \phi\}</math> exists"

對'''正公式<math>\phi</math>'''<ref>即滿足以下條件的最小的公式類：包含 atomic membership 和 equality formulas，且對取[[并集|并]]、取[[交集|交]]、[[存在量化]]及[[全稱量化]]都[[封閉]]</ref>成立。注意正集合論是以上這一系列集合論的總體，而不僅是「一個」集合理論。

==暫譯術語==
*正集合論（positive set theory）
*正公式（positive formula）

==注釋==
<references/>

[[Category:集合論系統]]
[[Category:含暫譯術語|2]]