The notion of truth is not definable in any formal system that is strong enough to include arithmetic.
真理的概念在任何足够强大以包含算术的形式系统中都是不可定义的。
核心技术是买不来的，必须靠自己研发。
The human being is always more than what he knows of himself.
Technology innovation is the key to solving the trilemma of energy security, environmental protection and economic development.
Challenges are opportunities to demonstrate what our industry is capable of.
我总是试图将我的弱点转化为我的优势。
The road to success is always under construction.
是罪行而不是断头台带来耻辱。