逻辑学研究不仅仅是关于形式系统,更是关于理解人类推理的本质。
I don't believe in happy endings, I believe in necessary endings.
You don't get another chance, life is no Nintendo game.
我不是白天,我是黑夜。