神学是心灵的语言,而不是头脑的语言。
"Theology is a language of the heart, not of the head."
文学不是现实的镜子,而是塑造现实的锤子。
真理是永恒不变的。
信任是通过透明和一致建立的。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
I'm not going to let anyone bring me down.
没有大胆的猜想,就没有伟大的发现。
The personal is historical, and the historical is personal.