http://logic.fudan.edu.cn/doc/LaPamend.pdf
欢迎在评论区提交有关本书的勘误与修改意见。
第133-134页。“ZFC 的可数传递的模型”文本框中关于 \(T_\alpha\)（\(\omega\leq\alpha<\omega_1^\mathrm{CK}\)）的定义不是良定义的。
http://logic.fudan.edu.cn/doc/LaPamend.pdf
欢迎在评论区提交有关本书的勘误与修改意见。
第133-134页。“ZFC 的可数传递的模型”文本框中关于 \(T_\alpha\)（\(\omega\leq\alpha<\omega_1^\mathrm{CK}\)）的定义不是良定义的。