The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
释义：能够清楚自己所要达到的目标并最终实现了自己的目的，这样的人是可以和他们研讨细微事物的，他们知道在该终止的时候就及时地终止，这样的人是可以同他们一起共同保存道义的。
"We are all of us made by what we have lost as much as what we have gained."
体育教育的伟大思想不在于对身体本性的教育，而在于体育训练与全面教育的关系。