http://logic.fudan.edu.cn/doc/LaPamend.pdf
欢迎在评论区提交有关本书的勘误与修改意见。
第133-134页。“ZFC 的可数传递的模型”文本框中关于 \(T_\alpha\)（\(\omega\leq\alpha<\omega_1^\mathrm{CK}\)）的定义不是良定义的。
Logic and Philosophy
集合论和一阶逻辑的关系？
有朋友在知乎上问：
http://logic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf 最后一段：
- 集合论可以被看作是一种一阶逻辑理论
- 一阶逻辑的语法、语义概念都可以在集合论中定义， 关于一阶逻辑的定理可以被看作是集合论的定理
建立一阶逻辑时貌似很多定义都用了集合论描述。而集合论本身又可以被看作是一种一阶逻辑理论。不是有循环定义的嫌疑吗？
我在知乎的回答如下： Continue reading “集合论和一阶逻辑的关系？”