伟大源于相信自己和自己所看到的愿景。
λ演算本质上是一个关于函数及其应用的理论。