数学家的工作永远不会完成;总有新的问题需要探索,新的谜团需要揭开。
逻辑学研究不仅仅是关于形式系统,更是关于人类推理的本质。