跳转到内容

正集合论

维基百科,自由的百科全书

在数理逻辑中,一种 作为替代的集合论 称为一种正集合论(Positive set theory),如果分离公理

  • " exists"

正公式[1]成立。注意正集合论是以上这一系列集合论的总体,而不仅是“一个”集合理论。

暂译术语

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

注释

  1. ^ 即满足以下条件的最小的公式类:包含 atomic membership 和 equality formulas,且对取、取存在量化全称量化封闭