记忆是个狡猾的东西 - 它既是牢笼也是解放。
The act of writing is an act of optimism. You would not take the trouble to do it if you felt it didn't matter.
逻辑学研究不仅仅是关于形式系统,更是关于理解人类推理的本质。