关于神，我不知道他们是否存在，也不知道他们的形态是什么样子的；因为有许多事情阻碍了确切的知识，包括事物的晦涩和人类生命的短暂。

语法和语义之间的相互作用是形式语言研究的核心。

神经症是无法忍受模糊性。

When you are stuck， sleep on it. Let your subconscious work for you.

真理不是可证明的，而是不可避免的。

In the pursuit of mathematical truth, we often find more questions than answers.

人生苦短，必须快乐。

解析：良知是人天生具有的道德判断力，致良知是修身治国平天下的根本。