正集合论

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

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

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

暂译术语

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