The notion of truth is not definable in any formal system that is strong enough to include arithmetic.
量子世界和经典世界之间的界限并不像我们曾经认为的那样清晰。