6. L 及其推广


本节中, 我们在 中讨论迄今为止人们研究得最多的三款内模型, 它们与基本函数及其递归有着密不可分的关系. 除非特别标注, 所有定理均是 定理.

取自 “https://www.bananaspace.org/w/index.php?title=讲义:集合论进阶_A._公理集合论基础_(OperatorP)/L及其推广&oldid=26335”