正集合论

维基百科，自由的百科全书
跳转至： 导航、 搜索

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

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

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

暫譯術語 [编辑]

  • 正集合論（positive set theory）
  • 正公式（positive formula）

注釋 [编辑]

  1. ^ 即滿足以下條件的最小的公式類：包含 atomic membership 和 equality formulas，且對取并、取交、存在量化及全稱量化都封閉
来自“http://zh.wikipedia.org/w/index.php?title=正集合论&oldid=25791081”