真理的概念在任何足够强大以包含算术的形式系统中都是不可定义的。
The concept of nondeterminism in computation is one of the most important ideas in computer science.
我时刻准备着学习,但是我不喜欢别人给我上课。