第 5 章：数列极限与量词结构¶ 本章将无限过程写成数列，并用“对每个误差，都能找到足够靠后的起点”的量词结构定义有限极限；随后区分发散、趋于无穷与只凭有限数据形成的猜想。 本章单元¶ 按导航顺序学习 5.1–5.5；最后一节把定义转化为可执行的反推证明模板。