正集合论

在数理逻辑中，一种 作为替代的集合论 称为一种正集合论（Positive set theory），如果分离公理

• "${\displaystyle \{x\mid \phi \}}$ exists"

对正公式${\displaystyle \phi }$^[1]成立。注意正集合论是以上这一系列集合论的总体，而不仅是“一个”集合理论。

暂译术语

• 正集合论（positive set theory）
• 正公式（positive formula）

注释

1. 即满足以下条件的最小的公式类：包含 atomic membership 和 equality formulas，且对取并、取交、存在量化及全称量化都封闭