当没有人相信你时,你必须相信自己。
λ演算本质上是一个关于函数及其应用的理论。