第 5 章：数列极限与量词结构¶ 本章将无限过程写成数列，并用“对每个误差，都能找到足够靠后的起点”的量词结构定义有限极限；随后区分发散、趋于无穷与只凭有限数据形成的猜想。 本章单元¶ 数列怎样记录无限过程？ “最终任意接近”怎样写成定义？ 不收敛与趋于无穷怎样区分？ 迭代数据何时值得相信？ 极限证明怎样从目标误差反推起点？ 按导航顺序学习 5.1–5.5；最后一节把定义转化为可执行的反推证明模板。