正集合论

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

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

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

暂译术语

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