7.3. 容许性


在普遍意义下, “容许” 指的是 “ 的传递模型”. 因此, 在这一节的开头我们需要在 中思考.

取自 “https://www.bananaspace.org/w/index.php?title=讲义:集合论进阶_A._公理集合论基础_(OperatorP)/KP与可计算性/容许性&oldid=26341”