在数理逻辑中，一种 "作为替代的集合论" 称为一种正集合论（Positive set theory），如果分离公理对正公式formula_2成立。注意正集合论是以上这一系列集合论的总体，而不仅是「一个」集合理论。