在数理逻辑中,一种 称为一种正集合论(Positive set theory),如果分离公理
对正公式 ϕ {displaystyle phi } 成立。注意正集合论是以上这一系列集合论的总体,而不仅是“一个”集合理论。