形式化不是放弃理解，而是获得另一种理解

很多人觉得数学和逻辑的形式化语言"不人性"、"没有直觉"，但形式化恰恰是人类处理无穷对象的唯一可靠方式——它不是对直觉的背叛，而是对直觉的超越。通过形式化，我们获得了关于无穷的"知识"，即使我们无法获得关于无穷的"体验"。