正集合论

维基百科,自由的百科全书
跳转至: 导航搜索

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

  • "\{x \mid \phi\} exists"

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

暫譯術語[编辑]

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

注釋[编辑]

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