只要世界还存在，就会有错误，如果没有人反叛，这些错误将永远存在下去。
As long as the world shall last there will be wrongs, and if no man rebelled, those wrongs would last forever.
λ演算本质上是一种纯粹抽象的函数理论。
建立社区需要我们持续警惕，不断努力去破坏那些导致我们行为延续支配的社会化过程。
听听他们的言论，看看他们的实际行为，考察他们的能力，谨慎的授予官职。
关系模型基于谓词逻辑和集合论，为数据库管理提供了坚实的数学基础。