用集合论把后续语义里的记号系统打底，减少推导时的卡顿感。
2026-01-22
ch1-2 数理逻辑
先把命题逻辑和谓词逻辑记号收拢好，为后续证明与推导热身。
2026-01-21
Introduction
先交代课程脉络、资料来源与阅读顺序，方便后面逐章推进。
2026-01-20