判断两个λ表达式是否等价的问题是无法解决的。

The elements of consciousness are to be discovered by careful experimentation.

科学的精确性既需要严谨，也需要创造力。

如果不创立教育，没有老师传授学业，这样那些原本没有废弃的人才，也会被废弃了。

永远不要停止学习，因为世界永远不会停止变化。