严格化是一把双刃剑——它解决问题，但也制造新的幻觉

ε-δ 语言让"趋近"变得严格可定义，但人们容易产生一个新幻觉："凡是严格定义的就没有问题了"。连续统假设在 ZFC 公理系统中独立（既不能证明也不能否证），说明严格化有边界。接受这个边界比假装它不存在，是一种更深层的数学成熟。