形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
一个文明的真正衡量标准是它如何对待最弱的成员。
One should not believe or disbelieve, but rather remain in suspense.
对付一个不自由的世界唯一的方法就是变得如此绝对自由,以至于你的存在本身就是一种反叛。
一个国家的法律如果不能保证公平公正、不能惩恶扬善、不能保障人民的利益,就不能当做法律。
Cowards die many times before their deaths
The man who does not value himself, cannot value anything or anyone.