专栏简介与声明
本专栏链接：https://www.cnblogs.com/minor-second/category/2057764.html
使用教学资料
本专栏是数理逻辑个人复习博客系列。
参考资料是林作铨老师的数理逻辑讲义（2021年秋）
https://www.math.pku.edu.cn/teachers/linzq/teaching/ml/list.html
随时间变动，讲义可能发生变化。本专栏中以2021年秋版本为准。
经过林老师授权，将讲义放出到个人百度网盘链接以供下载，请勿用于商业目的。
链接：https://pan.baidu.com/s/1gAy11Kcu_15AmKIJG1m3lA
提取码：Xray
专栏使用方法
本专栏以一问一答的形式对疑难点做出适当阐述，帮助理解知识内容，但并不会大而全地抄写书籍内容和基本知识等。部分问题可能表意略有模糊，或有一定开放性。因此可以考虑参考如下步骤使用。
- （前提）阅读教材或课件，熟练掌握该部分基础知识和基本概念。
- 尝试做专栏中问题部分，若觉得题意不清或觉得较为困难即查看答案。
- 对照问题和答案，深入理解对应部分内容。
- 尝试进行思考，提出自己的问题和理解，并点赞，收藏，对文章做出适当评论。（可选）