正集合論

在數理邏輯中 ， 一種 作爲替代的集合論 稱爲一種正集合論 （ Positive set theory ） ， 如果分離公理 " exists " 對正公式成立 。 注意正集合論是以上這一系列集合論的總體 ， 而不僅是 「 一個 」 集合理論 。