正集合论 在數理邏輯中一種 作為替代的集合論 稱為一種正集合論Positive set theory如果分離公理   x  ϕ  displaystyle xmid phi  exists 對正公式 ϕ displaystyle phi  成立注意正集合論是以上這一系列集合論的總體而不僅是一個集合理論