You have to dream big and believe in yourself, because no one else will do it for you.

The truth is not beautiful, but it is necessary.

创新是经济繁荣的核心。

科学的发展离不开社会的进步。

You have to be willing to challenge the status quo if you want to make real progress.

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