The notion of truth is not definable in any formal system that is strong enough to include arithmetic.
你们要做愤世嫉俗者,还是踏实的建设者?