函数的概念在数学中是基础的，而λ演算试图使这一概念精确化。

自由就是没有选择。

Everything we do here is important.

The important thing in life is not victory but combat； it is not to have vanquished but to have fought well.

世间万物，没有孤立存在的，必然有其对立面。