The study of logic is not just about formal systems, but about the very nature of reasoning itself.
逻辑学研究不仅仅是关于形式系统，更是关于推理本身的本质。
各位，我们的四大支柱是什么？嘲弄，恐怖，颓废，排泄。
"Memory is the only paradise from which we cannot be expelled."
The best mathematics is simple, but not too simple.
活着就是受苦，生存就是在苦难中找到某种意义。
The poet is a man who manages to be, in his own lifetime, what all men would like to be after their death.