讲义: 集合论进阶 A. 公理集合论基础 (OperatorP)
上一节: 3.4. ZF 中的有限性
下一节: 4.1. 第一基本递归
TeX 导言: 集合论进阶 A. 公理集合论基础 (OperatorP)/preamble

4. 基本函数的递归

递归定义是集合论中的核心议题之一, 对基本函数进行递归将得到一些相当好的 $Σ_{1}$ 层次上的性质.

取自 “https://www.bananaspace.org/w/index.php?title=讲义:集合论进阶_A._公理集合论基础_(OperatorP)/基本函数的递归&oldid=26325”