逻辑学研究不仅仅是关于形式系统,而是理解理性思维的基本结构。
The notion of truth is not definable in any formal system that is strong enough to include arithmetic.
I don't want to be a martyr, I want to be a survivor.
What fun was it without having me around?
农民是我们食品系统的支柱,我们必须用正确的工具支持他们。
The more you sweat in peace, the less you bleed in war.
艺术家最伟大的工具不是画笔或凿子,而是思想。
We must be free not because we claim freedom, but because we practice it.