What seems to us as bitter trials are often blessings in disguise
缺乏一个强大的国家对自由的威胁比存在一个强大的国家更大。
The notion of truth is not definable in any formal system that is strong enough to include arithmetic.