Mathematics is not about numbers, equations, computations, or algorithms: it is about understanding.
逻辑学研究不仅仅是关于形式系统,更是关于推理本身的本质。