数理逻辑笔记 2026年05月16日 逻辑 本文是第一篇作为复习笔记的文章。我遗憾地发现，在中断了两周的学习之后，学习竟然无法继续进行，前功尽弃，以至于需要从头开始。 这凸显了复习的重要性。本篇就是对于数理逻辑一阶理论的复习。1 理论和模型 $$ $$ 全文内容基于余俊伟，赵晓玉，裘江杰，张立英，《数理逻辑》，中国人民大学出版社，2020以及郝兆宽，杨睿之，杨跃，《数理逻辑：证明及其限度》，复旦大学出版社，2020 ↩︎