人需要困扰,困扰是心理健康的必需之物。
The only way to learn mathematics is to do mathematics.
The writer's life is a life of sentences.
逻辑学研究不仅仅是关于形式系统,更是关于理解人类推理的本质。