我决定既然我要下地狱，那就彻底一点。

数学的进步是通过概括实现的。

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

Overfishing is killing the goose that lays the golden eggs. We must adhere to scientific fishing and give the ocean time to recover.

商业机会就像公共汽车，总会有下一辆。

时间是一个小偷，偷走瞬间，只留下阴影。