The notion of truth is not definable in any formal system that is strong enough to include arithmetic.
避免麻烦的最大方法之一就是保持简单......系统经常会失控。