在數理邏輯中,一種 作為替代的集合論 稱為一種正集合論(Positive set theory),如果分離公理
對正公式 ϕ {\displaystyle \phi } [1]成立。注意正集合論是以上這一系列集合論的總體,而不僅是「一個」集合理論。