A mathematical proof is a poem written in the language of logic.

最高的艺术是隐藏艺术。

Sun don't shine forever, but as long as it's here then we might as well shine together.

逻辑学研究不仅仅是关于形式系统，更是关于理解人类推理的本质。