在數理邏輯中,一種 作為替代的集合論 稱為一種正集合論(Positive set theory),如果分離公理

  • " exists"

正公式[1]成立。注意正集合論是以上這一系列集合論的總體,而不僅是「一個」集合理論。

暫譯術語

编辑
  • 正集合論(positive set theory)
  • 正公式(positive formula)

注釋

编辑
  1. ^ 即滿足以下條件的最小的公式類:包含 atomic membership 和 equality formulas,且對取、取存在量化全稱量化封閉