数学的每一次飞跃，都先有人为「不优雅」的粗糙工具辩护

牛顿的流数术在当时被贝克莱主教嘲讽为「消逝量的幽灵」，莱布尼茨的无穷小也被攻击为「逻辑上不严格」。但正是这些「不严格」的工具解决了实际问题，严格的极限理论是在工具被广泛使用之后才补上的。这颠覆了「先严格化再应用」的直觉。